I've just solved a problem using a concept from my thesis that I rejected as useless at least 10 years ago. So that's nice...
-
Show this thread
-
If you're interested: The concept being "detaggability" of constructors, and the problem being how to know whether an argument is erasable even if we're pattern matching on it.
3 replies 1 retweet 18 likesShow this thread -
Replying to @tef_ebooks
I hadn't thought about that, but possibly? This is about being able to know what constructor form something has by looking at a different constructor.
11:09 AM - 21 Jan 2020
0 replies
0 retweets
0 likes
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.