@robotlolita @domenic to the end user all that matters is how much of the semantics they have to understand beneath their abstraction
-
This Tweet is unavailable.
-
-
Replying to @mikeal
@robotlolita@domenic in my experience static typing tends to leak those semantics to the end user too often.2 replies 0 retweets 0 likes -
Replying to @mikeal
@mikeal@robotlolita@domenic hint: Dart is *not* statically typed. you can write without annotating any variable with any type.1 reply 0 retweets 1 like -
Replying to @mraleph
@mraleph@robotlolita@domenic if you type your library and i use your library i need to deal with typing.3 replies 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @_robotlolita
@robotlolita@mraleph@domenic in my exerpience type errors only find trivial issues and have a high false positive (if coercion exists)2 replies 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @_robotlolita
@robotlolita@mikeal@mraleph@domenic (2/2) but in languages without null/nil and with restricted mutation they grant superpowers.2 replies 0 retweets 0 likes -
This Tweet is unavailable.
@robotlolita @JobVranish @mikeal @mraleph @domenic free monad models both very well.
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.