4 ms·

I agree the results would fascinating. The perception from the other side is that rustaceans crave to be bound in the constrictive swaddling of authoritarianism

I agree the results would fascinating. The perception from the other side is that rustaceans crave to be bound in the constrictive swaddling of authoritarianism. Which seems to be born out in both the language itself and the foundation.

steveklabnik 3y ago
“the constrictive swaddling of authoritarianism” is a wild way to describe static analysis.
- Verdex 3y ago
  I'm pretty much static guarantees to the bone. But I sort of get where the dynamic camp is coming from. With something like python, you need to understand lists, dictionaries, loops, and the call stack. And then you're off to the races. Meanwhile with ocaml you need to understand type theory, type inference, algebraic data types, the module system, maybe row poly, (insert a bunch of other things), and now also algebraic effects. And there's no guarantee that the well formed logic of your domain problem is compatible with the type theory your language is using (although, adt + generics almost always does the job if you take a minute). That being said, the way that's being expressed here does leave something to be desired. Like, if someone doesn't jive well with static techniques that's one thing. But I've never really understood decrying people who get it as suffering from some sort of Stockholm syndrome.
  - steveklabnik 3y ago
    I agree that there is a productive discussion to be had about all of these things, including their limits, for sure. Just that this way (my original parent, not you) isn’t it.
    - Verdex 3y ago
      Yep, I think we've got the same position. Even though I don't agree with the dynamic camp, I like advocating for it because I think there are scenarios where there is something there. However, the position that the static camp is somehow against freedom and morally wrong is pretty weird to me.

4 ms·

I agree the results would fascinating. The perception from the other side is that rustaceans crave to be bound in the constrictive swaddling of authoritarianism

by patrick451 3y ago

steveklabnik 3y ago
“the constrictive swaddling of authoritarianism” is a wild way to describe static analysis.
- Verdex 3y ago
  I'm pretty much static guarantees to the bone. But I sort of get where the dynamic camp is coming from. With something like python, you need to understand lists, dictionaries, loops, and the call stack. And then you're off to the races. Meanwhile with ocaml you need to understand type theory, type inference, algebraic data types, the module system, maybe row poly, (insert a bunch of other things), and now also algebraic effects. And there's no guarantee that the well formed logic of your domain problem is compatible with the type theory your language is using (although, adt + generics almost always does the job if you take a minute). That being said, the way that's being expressed here does leave something to be desired. Like, if someone doesn't jive well with static techniques that's one thing. But I've never really understood decrying people who get it as suffering from some sort of Stockholm syndrome.
  - steveklabnik 3y ago
    I agree that there is a productive discussion to be had about all of these things, including their limits, for sure. Just that this way (my original parent, not you) isn’t it.
    - Verdex 3y ago
      Yep, I think we've got the same position. Even though I don't agree with the dynamic camp, I like advocating for it because I think there are scenarios where there is something there. However, the position that the static camp is somehow against freedom and morally wrong is pretty weird to me.