News for hackers. Stuff that matters.

A comment on Making my life easier with GADTs.

Re:Making my life easier with GADTs by flupe on Tuesday January 21, 2025 @07:21AM (#42779318)
A little blog post on how, sometimes, a little bit of dependent types can make your life easier. For practical things.
[ Parent | on HN ]

There are no comments on this comment yet.