"No type errors" is a bit of an exaggeration since no static type system can encode all interesting information about all types yet. E.g. "odd u32" in Rust or "Prime Nat" in a dependently-typed language.
-
-
this is fair; "no fundamental mismatches between broad data types" just doesn't sound as good though
1 reply 0 retweets 0 likes -
Replying to @mycoliza @BRIAN_____ and
I suppose this is also not completely true, depending on how strict the statically-typed typed language is, but I wasn't really thinking of C when I wrote this
1 reply 0 retweets 0 likes -
IMO it's important to free ourselves from false dichotomies like "static vs dynamic" or "obsolete vs. dependent" type systems. One can write C code in a way that's much more like Rust than what's typical, for example. A of what people think of as C isn't actually legal C anyway.
1 reply 0 retweets 1 like -
Replying to @BRIAN_____ @mycoliza and
There are some kinds of programs I prefer to write in Python and I don't think they'd be better in Haskell or Rust, especially considering development time. (People have made more money porting my Haskell code to Python than I made writing the original Haskell code.)
1 reply 0 retweets 2 likes -
I don't disagree; for example, I don't think I'd like writing statically-typed shell scripts very much. That said, the question was "what do you like about statically-typed languages?", not "why are static types always unilaterallu superior?"
2 replies 0 retweets 2 likes -
Replying to @mycoliza @BRIAN_____ and
(as a side note, if anyone is working on a statically-typed language that I could use instead of bash, I'd love to be proved wrong on that note!)
2 replies 0 retweets 2 likes -
Isn’t this the idea behind PowerShell? I had to look at some recently, I don’t know enough to pass judgement, but it was jarring... Then there are projects like:https://github.com/faern/rustscript/blob/master/README.md …
1 reply 0 retweets 1 like -
I've never used PowerShell, so I wasn't aware it has types; I thought it was just "bash for Windows". the main typed shell I can think of is Ammonite, which is based on Scala; it's interesting but not particularly usable in my experience.
1 reply 0 retweets 0 likes -
Batch, ie *.bat, is bash for Windows. PowerShell is something new and different that I have not had time to learn, nor an environment where I’d choose to use it. But I heard you can use it elsewhere (Linux?): https://twitter.com/rreverser/stat …
1 reply 0 retweets 0 likes
-
-
Today I learned.
0 replies 0 retweets 0 likesThanks. 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.