@viktorklang aliasing?
-
-
Replying to @viktorklang
@viktorklang oh yeah. Rust does that quite well.1 reply 0 retweets 0 likes -
Replying to @viktorklang
@viktorklang yeah. The language has been tremendously simplified since then. No more 4 different kinds of pointers \o/1 reply 0 retweets 1 like -
Replying to @viktorklang
@viktorklang btw the last idris release had primitive support for uniqueness types as well.2 replies 0 retweets 0 likes -
Replying to @clementd
@clementd Very interesting! I've had Idris on my radar for a while. That@edwinbrady fellow seems sharp :)1 reply 0 retweets 0 likes -
Replying to @viktorklang
@viktorklang@clementd I currently have a student finding out how awkward they are to use in practice. And making them less awkward I hope!1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady Perhaps do some controlled studies later on á la "Language Wars"-@AndreasStefik? /cc@clementd1 reply 0 retweets 0 likes
@viktorklang Would love to! One day I hope to have a big enough sample size :). @AndreasStefik @clementd
-
-
Replying to @edwinbrady
@edwinbrady I'm not an expert but it sounds like a topic the EU research grants might be interested in? /cc@AndreasStefik@clementd0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.