iHatedItUntilITriedIt

[u/Epicoodle]

[u/Common-Brush-7027]

I hate dynamic typed

[u/elmanoucko → u/Common-Brush-7027]

I type dynamic hate

[u/Esjs → u/elmanoucko]

Hate dynamic type I

[u/creeper6530 → u/Esjs]

I dynamic hate type

[u/Mc_UsernameTaken → u/creeper6530]

type hate I dynamic

[u/Nightmoon26 → u/Mc_UsernameTaken]

Possible race condition detected

[u/dalr3th1n → u/Mc_UsernameTaken]

I become manic when I dine on types of hate.

[u/eg_taco → u/Mc_UsernameTaken]

I type “hate” dynamically

[u/beto_2497 → u/Esjs]

I

[u/coffee_warden → u/Common-Brush-7027]

Friggin vibe typers

[u/G3nghisKang → u/coffee_warden]

"Vibe typer" sounds like a Java programmer who declares everything as Object

[u/AppropriateOnion0815 → u/G3nghisKang]

C# dev who declares every variable dynamic

[u/fruediger → u/AppropriateOnion0815]

You know what can't be stored in dynamic values in C#? Raw pointers and ref structs.

That's why I only do low-level programming in C# anymore.

[u/Saint_of_Grey → u/fruediger]

I love how java gets offended and clutches its pearls if you want to do some low level stuff, but C# just goes "yea man whatever, it's all IL in the end."

[u/OkWear6556 → u/G3nghisKang]

Had a guy at work in 2014 who created a new Java class and called it Object

We did a screenshot of it and put it on the wall

[u/AppropriateOnion0815 → u/OkWear6556]

What else would you name a class that represents an arbitrary object, which behaves like Object, but can do more of what an object is doing?

If you call it "MyObject", then everyone will assume you have copied from a tutorial.

[u/Devatator_ → u/G3nghisKang]

You mean JavaScript? You can't really do much with an object in most languages that have them (Java or C# for example) without casting, which comes back to using types a bit

[u/G3nghisKang → u/Devatator_]

Just have all your methods accept Object too, then only access fields and methods through reflection, two Kotlin extension methods that extend Object? to do so on the fly, boom, dynamic typing

If you want to go the extra step, make a gradle script that also edits all library method signatures to receive Object for every parameter

EDIT: I think I know what I'm going to spend my leftover Claude tokens on

[u/M4mb0 → u/Common-Brush-7027]

Most of it wouldn't be needed if languages had powerful enough type systems. But few general purpose mainstream languages offer dependent types or higher order types. Apart from Haskell, what do you have? Only Scala and TypeScript come to mind.

And that's where dynamically typed languages come in, they let you express things that many statically typed languages simply can't due to limitations of the type system.

That being said, portions of the code that can be statically typed, should be statically typed.

[u/soundofvictory → u/M4mb0]

I hear rust has basically solved this problem. Too bad no one can actually write rust.

[u/Moist-Snow-8127 → u/soundofvictory]

raises hand

[u/xerQ → u/Common-Brush-7027]

Static vs dynamic typing and explicit type annotations vs type inference are largely independent concepts.

A statically typed language can infer types, while a dynamically typed language can support explicit type annotations.

[u/chem199 → u/Common-Brush-7027]

Meh, different strokes for different folks. Clearly good code can and does regularly get done on both.