3 ms·
I use them all the time for little EDSLs in Haskell. They also go really nicely when implementing AFRP libraries. You can also do a lot with them and type famil
by tel 12y ago
I use them all the time for little EDSLs in Haskell. They also go really nicely when implementing AFRP libraries. You can also do a lot with them and type families for making typed APIs. Oliver Charles has some work doing this over websockets for instance: https://skillsmatter.com/skillscasts/5356-oliver-charles https://skillsmatter.com/skillscasts/5356-oliver-charles
- lomnakkus 12y agoThat video doesn't appear to available to everyone. It says "Sorry Because of its privacy settings, this video cannot be played here." Not sure if it's because of country/IP restrictions or what.
- tel 12y agoI thought Ollie had a blog post about this stuff somewhere, but I can't find it now. He does other things which involve fairly advanced GADT work, though https://ocharles.org.uk/blog/posts/2014-06-10-reversible-serialization.html https://ocharles.org.uk/blog/posts/2014-06-10-reversible-ser...