Ambrose Bonnaire-Sergeant

frenchy64.github.io

Popular posts: 2
Total points: 312
HN comments: 169
Rank: #8,580 personal

Visit frenchy64.github.io → RSS feedOn Hacker News Jun 2015 – Apr 2018

Software Engineering 2 Programming Languages 2

Most points Most discussed Most cited Newest

Are unsound type systems wrong?

2018210 points158 comments Programming Languages details

This is an essay I wrote early-2016. After battling with soundness vs. usability in Typed Clojure for many years, I was starting to reconsider the “obviously wrong” approach of baking unsoundness into the type system from the get-go. I look at some historical examples of intentional unsoundness in type systems, and…

Gradual typing for Clojure

2015102 points11 comments Programming Languages details

Today’s programming landscape is dynamic and polyglot . Interlanguage interoperability is a mainstay — it’s almost unavoidable that a given piece of code will be used without the knowledge of the original author.