In 20 years, to program in Scala, you will write down a complex dependent type and then a _. It will infer your program.
-
-
Replying to @mattmight
@mattmight Isn't that what you already do in Idris? :)1 reply 0 retweets 0 likes
Replying to @khstandrews
@khstandrews @mattmight Sort of. I like to see the program that's been inferred though! Agsy does a better job (for now :)) for Agda.
0 replies
1 retweet
1 like
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.