weak/dynamic typing enthusiasts be like "types just hold your code back" when strong types actually are holding your code together
@pea static type people just think they're better than everyone else tbh

@karen @pea
> static type people just think they're better than everyone else tbh

which is why a statically typed lisp is the combinatorial smugpocalypse

@charlag @karen @pea Or how about Hackett, which *does* marry a lisp and a strongly typed functional language? lexi-lambda.github.io/blog/201

(Though Lexi, the author, is super great!)

@cwebber @karen @pea we are getting into the "what *is* lisp" territory and it's kinda blurry thing

Follow

@charlag @karen @pea YES, I was just typing up "CapTP, the concept, has been implemented a number of times since Electric Communities, so it's more like a family of protocols with some shared fundamentals than a single protocol right now. But maybe there will be a Common Lisp / Scheme-like unification effort soon."

Sign in to participate in the conversation
Octodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!