1401 points alankay | 1 comments | 20 Jun 16 18:04 UTC | HN request time: 0s | source
This request originated via recent discussions on HN, and the forming of HARC! at YC Research. I'll be around for most of the day today (though the early evening).
It seems that dynamic or at least sloppily typed langauges like javascript and python have become more and more popular. Do you think typeless/dynamic languages are the future? I personally really like "classless OOP[0]".
It would be great to have a notion of type that would actually pay for itself in real clarity. For example, what would be really useful in many dimensions is "semantic types" rather than value oriented types (which I don't think are particularly valuable enough).