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

Programmer Humor

19187 readers
1136 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 8 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 8 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.