#haskell's type level programming is a frustrating imbalance of high desire to use but low chance of finding a good use case
The Dao of Functional Programming [pdf]
Finished reading Sandy Maguire's Thinking with Types book about type-level programming in #Haskell. A fantastic intro to TLP! I feel like a whole new world has opened up. Now to write some code.
I like that functions in #Haskell are applicatives, and that it "makes sense" when derived, but why would anyone use a function's applicative?
AFAICT the instance exists for the hell of it, which, fair, it is cool, but it's so unreadable to use.
If someone has to tell you that they care about your privacy, they probably don't. - "Move Fast and Break Things" by @freddy on the Privacy Guides blog https://www.privacyguides.org/blog/2022/04/04/move-fast-and-break-things/
tooting from the wired
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.