social.noyu.me

haskell is really the universe brain language because it doesn't really have mutable data types or assignment, so it ought to be useless, but the type system is so powerful that you can just reimplement them from first principles as a library and it's almost convenient to use!

‪the lens library is like the poster child for this. if you look at https://github.com/ekmett/lens/wiki/Examples#examples, it implements something resembling c-style property access (the foo->bar.baz = 3; syntax), with just pure functions. it's a work of art. i also would never want to debug the type errors‬

‪i say this with love. haskell is beautiful. but after having learned rust i feel less attracted to it. it is a language for masochists and i'm glad i never got far with building a game engine in it,‬

@hikari what about ocaml?