Yesterday, I got an email that made me chuckle so I decided to share it. I'm creating a programming language that has, what I think, is a unique type system. It's a (deep breath) Gradual, Algebraic, Dependent static type system with row polymorphism.
-
-
nice conference u got there, shame if something happened to it --diversity consultants
Thanks. 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.