Hacker News new | past | comments | ask | show | jobs | submit | from login
Are unsound type systems wrong? (frenchy64.github.io)
3 points by goranmoomin on July 27, 2022 | past
Who doesn't want unsound type systems? (frenchy64.github.io)
2 points by PirateBay on April 27, 2018 | past
How I Create Automatic Annotation Tools (Quals Defense) (frenchy64.github.io)
2 points by karma_fountain on April 9, 2018 | past
Are unsound type systems wrong? (frenchy64.github.io)
210 points by mpweiher on April 7, 2018 | past | 158 comments
Macros across boundaries (frenchy64.github.io)
26 points by jb1991 on April 7, 2018 | past | 1 comment
Automatic Annotations (frenchy64.github.io)
1 point by jonnybgood on Aug 9, 2016 | past
Gradual typing for Clojure (frenchy64.github.io)
102 points by michaelsbradley on June 21, 2015 | past | 11 comments
Typed Clojure prevents Null Pointer Exceptions (frenchy64.github.io)
10 points by swannodette on Oct 4, 2013 | past | 1 comment
Typed Clojure Preview: Red/Black tree rebalancing invariants (with plain maps) (frenchy64.github.io)
15 points by sethev on Oct 3, 2013 | past
The Link between Clojure-in-Clojure and Typed Clojure (frenchy64.github.io)
79 points by sethev on Sept 30, 2013 | past | 5 comments

Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: