Julia is a dynamically, dependently typed language #wat
@puffnfresh Types have lots of purposes. Restricting them to things that only exist at compile time isn't helpful. @raichoo @andreasdotorg
-
-
@edwinbrady@andreasdotorg@raichoo it is useful. It preserves Curry-Howard, which is immensely useful.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.