Showerthoughts

28466 readers

963 users here now

A "Showerthought" is a simple term used to describe the thoughts that pop into your head while you're doing everyday things like taking a shower, driving, or just daydreaming. The best ones are thoughts that many people can relate to and they find something funny or interesting in regular stuff.

Rules

All posts must be showerthoughts
The entire showerthought must be in the title
Posts must be original/unique
Be good to others - no bigotry - including racism, sexism, ableism, homophobia, transphobia, or xenophobia
Adhere to Lemmy's Code of Conduct

founded 1 year ago

MODERATORS

vatlark@lemmy.world

forkball@lemmy.world

quinten@lemmy.world

Thekingoflorda@lemmy.world

Algebra in school is like a compiler with shitty type inference: you rarely have to write type annotations and you can easily end up with impossible states. (lemmy.ml)

submitted 10 months ago* (last edited 10 months ago) by snek_boi@lemmy.ml to c/showerthoughts@lemmy.world

13 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] xigoi@lemmy.sdf.org 19 points 10 months ago* (last edited 10 months ago) (1 children)

You never specified what type a function is, such as 𝑓 : ℝ → ℝ?

[–] snek_boi@lemmy.ml 5 points 10 months ago (1 children)

Fair enough, I changed "never" to "rarely" :) I'm actually curious, did you have to specify the 'type' often?

[–] xigoi@lemmy.sdf.org 6 points 10 months ago

If I remember correctly, good textbooks always specified the type. There were even exercises like “find the maximum possible domain of this function”. And in higher-level mathematics, it's pretty much a sin to not specify the type.