Archived tweet #9597 from the @leastfixedpoint Twitter Archive@cmeik I have to read this as "there were candidate languages with types, and languages with useful libs, and I chose between those", because otherwise it looks very much to be a false dichotomy :)