social.noyu.me

‪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?

@SoniEx2 i do not really have an opinion on it but from what i've heard it might be more practical

@hikari a language for masochists? now i'm interested

@whitequark ^^

@hikari Have you seen that people (some of the same) have implemented liquid types for Haskell and Rust? Which is yet another level of type system stuff :D

https://popl18.sigplan.org/details/PLMW-POPL-2018/6/Liquid-Haskell-Refinement-Types-for-Haskell

https://dl.acm.org/doi/10.1145/3591283

@Girgias i hadn't, seems very interesting, thanks for the links!

@Girgias @hikari yeah I like the additional verification. For Rust, you can do it with Prusti (though it’s not quite like Liquid Haskell) and it has some limits so you can’t use all language features sadly