this post was submitted on 07 Jan 2024
910 points (94.3% liked)

Programmer Humor

19653 readers
1171 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 2 points 10 months ago (1 children)

Would you say OCaml or any ml family language would be untyped since they have type inference?

[–] [email protected] 4 points 10 months ago

From what I know about those I would consider those to be typed languages. Even if the programmer doesn't explicitly assign the types, he needs to be aware of them and take into account what type something will be. I am familiar with F# and it's strongly typed for example.