Anthony Ramine@nokusu·Aug 3, 2020One day, staged programming as in MetaOCaml will prevail.Quote Tweethenry @hdevalence · Aug 2, 2020what’s your most crank opinion about programming languages?Show this thread116
Brendan Zabarauskas@brendanzabReplying to @nokusuI want it, but with dependent types. Is this monomorphised generics?1:21 PM · Aug 3, 2020·Twitter Web App