Hacker News Reader

icrbowon Writing A Lisp Interpreter In Haskell (2006)

This one is absolutely golden. Read down typeclassopedia, do this one and you're basically ready to ship.

icrbowon Companies That Use Haskell in Production

Security is resilience with respect to your threat model. The usual security objectives are confidentiality, integrity, and availability.

Nothing is "secure" forever and ever. For each objective you need to state some assumptions that are required to uphold it.

Haskell allows you to express more assumptions in code, not just comments, to be enforced at compile time. And with some careful handling Haskell types provide a solid foundation without going into full deductive verification mode.

icrbowon Upcoming/proposed breaking changes to Haskell

ListT removal isn't bold. It was known for a long time that it needs to go and you should use one of the explicit alternatives instead.

icrbowon Upcoming/proposed breaking changes to Haskell

Too late. The people are making money with Haskell for quite a few years by now.

icrbowon Haskell IHP framework, from a technical and business perspective

Why bother with nginx or whatever if its native server is http3-capable and performant enough by itself?

icrbowon Swarm: A resource-gathering game based on robot programming, written in Haskell

No.

icrbowon Haskell for Beginners

> Haskell doesn't have sum types

Say what?..

icrbowon Why Learn Haskell? (2018)

> LOL. No, it's not. The gold standard is an emotional reason.

Maybe the emotional reason is a warm fuzzy standard?

icrbowon IHP – A Haskell web framework

I would like to have stack backported into cabal, but Nix and others, that just entire code galaxies.

At least that isn't cmake et al.

icrbowon IHP – A Haskell web framework

Yes, but not the cabal-the-binary. You don't need both installed.

icrbowon No Silver Bullet (1986) [pdf]

Yes Silver Bullet https://news.ycombinator.com/item?id=20324523

icrbowon Ask HN: What has Haskell ever done for us?

> Writing MISRA C and using verification tools like Astree, or SPARK + verification tools are not as elegant, but their weakest point is stronger than Haskell's.

That's why we need more Haskell-hosted system programming DSLs - with fancy sound types, proofs, extraction and stuff.

icrbowon Rich Hickey: extensible data notation

https://bitbucket.org/dpwiz/hedn

My stab at haskell parser/encoder and type converter. Would be glad for a friendly hug^W code review and packaging suggestions.