L lexi-lambda.github.io Dynamic type systems are not inherently more open 382 points jose_zap 6 years ago 275 comments