A #haskell blogpost and two packages! https://blog.poisson.chat/posts/2020-02-24-quickcheck-higherorder.html
"There are two ways of constructing a software design:
One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.
The first method is far more difficult."
C. A. R. Hoare, The Emperor’s Old Clothes, 1980 Turing Award Lecture
PhD student : I hope no one scoops my only idea.
Post-doc: I better publish old stuff before I’m scooped so I can focus on new ideas.
Associate professor: I hope someone scoops all ideas I’ve ever had. Please. I don’t have time. There’s free datasets too. I’ll pay you.
Theorem provers like #coq help with both ensuring proofs are correct as well as coming up with those very proofs.
Someone was wondering whether some equation about comonads was true, so I started Coq and just proved it. I still have no idea what it means. Just unfold the definitions and do the "obvious" rewrites.
I gotta hand it to her, Calvin’s mom knows how to work the system! 🤣 https://t.co/fGSDypID3b
"No, dynamic type systems are not inherently more open"
Why learn functional programming?
Answers by great programming languages researchers.
@lyxia https://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/ See Bartosz Milewski's commentary on the identity morphism
✨ Good afternoon all ✨
I'm announcing I've created the "Racket Wat" repository I've been thinking about for a long time. I'm going to be changing the list as I think of new / betters quirks in Racket (one of my favorite languages). If you know any wat's that you think are noteworthy, I would greatly appreciate them!
(EDIT: i had accidentally made it private cus i dont know how to use gitlab, this is fixed now)
Haskell and Coq programmer
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!