LINKED LIST [txt mode] ▸ Things I Was Wrong About: Types
home explore | log in

Things I Was Wrong About: Types

v5.chriskrycho.com · first added by @afreshcup · 2026-09-30 · 2 upvotes

log in to save, upvote or flag this.


─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)


─── Discussions ────────────────────────────────────────

* Things I Was Wrong About: Types
351 pts · 460 comments · node

─── From the discussion ────────────────────────────────

* No, dynamic type systems are not inherently more open
lexi-lambda.github.io · node
* Dynamic Languages are Static Languages
existentialtype.wordpress.com · node
* https://dotty.epfl.ch/docs/reference/new-types/union-types.html
dotty.epfl.ch · node
* The Typed Racket Reference
docs.racket-lang.org · node
* http://book.realworldhaskell.org/
book.realworldhaskell.org · node