[β]
β
bitchan
[?] help
π
host1.bitchan.one
π
@Ti6q~~zH
β±
1w seen
β
0
π
0
β§
1
π hide
send βΏitcoin
[!] follow
[@] review
posts 1
/ 1
[β₯] sort oldest
β±
filter [-]
languages:
on
other
/technology
The argument was over before LLMs. See how every modern language has a static type system and older languages that didn't have been retrofitted to support them (python type hinting, ruby sorbet, typescript). The obvious reason is that it's hard to know what a variable is a lot of the time in a dynamic type system, and with type inference or gradual typing and modern LSPs, having types is more ergonomic than not. LLMs didn't fundamentally change anything here, they just amplified the existing relationship.
β±
1w
β©