News for hackers. Stuff that matters.
Re:Why GitHub used Haskell for Semantic by yxhuvud on Thursday June 06, 2019 @06:23AM (#20113124)
> changed what I expected from language was non-nullable types

I got the same revelation from the a lot more conventional [] looking Crystal, which don't solve it through optionals but through union types. Exposure to that kind of type safety to enforce non-nullability is really a watershed moment.

[] For values of convention that look like Ruby. Not everyone think that look is conventional enough.

Re:Why GitHub used Haskell for Semantic by tsss on Thursday June 06, 2019 @07:23AM (#20113425)
Optionals are union types: Optional<A> is the union of Unit and A.