Julia is a dynamically, dependently typed language #wat
@puffnfresh Dynamically typed languages only know which '+' to use for x+y if they know the type of x and y... @raichoo @andreasdotorg
-
-
@edwinbrady@andreasdotorg@raichoo if they know what value x and y are - not type. -
@puffnfresh I think you're using a different meaning for 'type' than everyone else in this conversation@raichoo@andreasdotorg - 1 more reply
New conversation -
-
-
@edwinbrady@puffnfresh@raichoo which can be computed at compile time or at runtime. -
@puffnfresh@andreasdotorg@raichoo Here's (arguably) a way of having dynamic dependent types: https://github.com/edwinb/Eff/blob/master/Effect/State.idr …
End of conversation
New conversation -
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.