Example of a real bug it caught: I was using the fairly common Ruby idiom x = str || “sensible default value” Typechecker flagged that that default value would never be assigned because str was guaranteed to be non-null. This was not obvious to me.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Has there been rumbling about letting others use it? He’d love to play with it at HashiCorp.
-
We're working on refining rapidly by running against our (very substantial) codebase, which includes a bit of internal-stuff-duplicated-for-expediency, but after we think the developer experience is pretty dialed in the intent is to OSS it and release it broadly.
- 1 more reply
New conversation -
-
-
-
Its as weak as C
- 1 more reply
New conversation -
-
-
Oh, so based on the small example I saw, this looks a lot like the annotations Elm uses, and I think I really like this. It doesn't get in my way, it isn't required for me to add it, and it's going to help me write better code. Wow.
-
Elm has real type annotations, not a hack on top of dynlang
End of conversation
New conversation -
-
-
Welcome to 1988. (Modula 2 had strong typing, mind you the runtime debugging environment was very user unfriendly).
-
I wouldn't say that Modula 2 is optimised for developer happiness, though.
- 1 more reply
New conversation -
-
-
This excites me.
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.