Ahh, it never fails me!

Not doing a good job guessing rn

I see, is this just useful for extracting the value out of such a type? So I can write something like

type age = Age of int

let get_days (Age years) = years * 365

As opposed to just

let get_days years = years * 365.

Which enforces that we use some particular type when calling the function?

Yeah I think functional is what’s really the new thing for me. But I’m starting to feel while writing some procedural code how much easier more fluid it would be to write it as functional instead

Glad I finally have a word for a phenomenon I witness a lot

If you aren’t civilized enough to not chuck your “muscle milk” out the window on the highway, you shouldn’t be part of civil society.

And it is only experienced with the elapse of time - unlike a painting for example which can be experienced in a moment. This has always struck me is bizarre.

Then saying something like X=3 is just an event - a subset of the probability space that makes the expression true. So (X=3)={3}, or (X<3)={1,2}. Then asking the probability P(X=3) is just the probability of the event occurring.

Again, funny to me how this realization came in a graph theory course!

A random variable is literally *just* a function from the elements of a probability space to some real number. For example, we could create a random variable X on the probability space of rolling a die that maps a side of the die to the value of the die.

The moral outrage I would feel in these unrepentant and unceasing situations would be a real challenge.

The aisles of animal carcasses plastered across every grocer.

My friends and family indifferently cutting into slain fodder.

Strangers digging their teeth into the ground remains of an animal locked in a cage for its entire absurd existence.

Also, fully adopting a deep sense of moral disgust for our culture of meat-eating would make coping with daily life difficult. In an entirely selfish sense, moral ignorance is bliss.

Definitely need to meditate on this thought some more.

Maybe I could compromise to only eat the pasture raised eggs and the cows raised on bottled milk and given a cultured upbringing in Mozart, but this is such a privileged position that it similarly feels wrong.