@raichoo untyped languages don't have types.
-
-
-
Replying to @andreasdotorg
@andreasdotorg@raichoo JavaScript, Python, Ruby, PHP, etc.2 replies 0 retweets 0 likes -
Replying to @puffnfresh
@puffnfresh@raichoo They're not untyped, they're dynamically typed. Huge difference.1 reply 0 retweets 1 like -
Replying to @andreasdotorg
@andreasdotorg@raichoo no, they're untyped. They don't have types.2 replies 0 retweets 1 like -
Replying to @puffnfresh
@puffnfresh@raichoo Check optimistic type inference in e.g. Dylan, or the new "make it dynamic" feature in OCaml.3 replies 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @raichoo
@raichoo@andreasdotorg removing types from Haskell. Great feature. Just calling it what it is.3 replies 0 retweets 0 likes -
Replying to @puffnfresh
@puffnfresh Dynamically typed languages only know which '+' to use for x+y if they know the type of x and y...@raichoo@andreasdotorg2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@puffnfresh@raichoo which can be computed at compile time or at runtime.1 reply 0 retweets 0 likes
@puffnfresh @andreasdotorg @raichoo Here's (arguably) a way of having dynamic dependent types: https://github.com/edwinb/Eff/blob/master/Effect/State.idr …
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.