'(Robert Smith)

> be NASA programmer > excited to write Lisp > code lookin like hieroglyphs > boss walks by > "wtf is that, alien code?" > no, just Lisp boss > boss laughs, Lisp now forbidden > mfw no cosmic parens > mission to Mars now in JavaScript > planet doomed > feelsbadman.jpg

i just got tickets to 2 bach keyboard recitals 2 days in a row in 2 different states not sure this was a good idea

Haskell and Common Lisp are byzantine lambda calculus wrappers, with the latter ram-rodding its way through the lambda calculus to the Turing machine because it has FORTRAN envy.

Yale Haskell is kind of funny. They implement Haskell in a pseudo-Scheme, and the pseudo-Scheme is implemented as Common Lisp macros.

Haskell people: Why is Foldable on * -> * preferable over, say, Foldable on a container (*) and eltType (*) (with a functional dependency)? Does this just mean non-parametric containers in practice don't get to be used for folding?

I think there should be a computer language benchmark game, but adjudicated by people who have exceptionally good taste in what constitutes a reasonable entry. A separate category of "pull all the stops" would be fine.

Long overdue, but we finally merged a PR someone submitted allowing constraints on type class methods in Coalton. It only took 6 months for us to get to... bless the hearts of open-source contributors' patience.

Exceptions and resumptions have landed in Coalton. After catching an exception that has bubbled up the stack, you can resume execution at demarcated points back down the stack. github.com/coalton-lang/c…

Nobody would use the Kardashev Scale if it were instead called the Buddy Scale named after someone like Chuck Buddy.

Someone made a truth table generator in Lisp a few days ago. And turned it into a web app where the formulae can be shared as links. For example, De Morgan's law: logic.manoel.dev/?prop=~p%20v%2…

If S-expressions are so good then why aren't there (S∘S)-expressions?

I will never understand why OCaml people still tolerate allocating Option values unironically.

Unironically in Coalton, which is more gorgeous: (𝚍𝚎𝚏𝚒𝚗𝚎-𝚝𝚢𝚙𝚎 𝙰𝚕𝚝 𝚁𝚒𝚐𝚑𝚝 𝙻𝚎𝚏𝚝) (𝚍𝚎𝚏𝚒𝚗𝚎 (𝚖𝚘𝚟𝚎 𝚙𝚘𝚜 𝚝) (𝚖𝚊𝚝𝚌𝚑 𝚝 ((𝚁𝚒𝚐𝚑𝚝) (𝟷+ 𝚙𝚘𝚜)) ((𝙻𝚎𝚏𝚝) (𝟷- 𝚙𝚘𝚜)))) I'd swap the argument order to curry on 𝚝; more useful.