#purescriipt — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #purescriipt, aggregated by home.social.
-
I really like the feeling of non-uniform recursion schemes, but there so many scoped type variables in the way that I use them that the algebra is often larger than writing the recursion directly. Ref: https://gitlab.com/bss03/halogen-lambda/-/commit/9e508deeb89c6daf024eeff09aa635de3857d9b1?file_path=src%2FBounded.purs#line_62cb2b906_211
Maybe I just need to figure out a better approach to writing Codensity values.
-
Strictness and recursive generators are stymieing progress on my CEK machine in #PureScriipt
But, I got some good work in on it today.