francogt

I see many comments saying that the book implements the C compiler in ocaml. In the introduction the author states that the book actually uses pseudo code so you are actually free to implement it in any language. The only recommendation is that you use a language with pattern matching because the pseudo code makes heavy use of it. The reference implementation is in ocaml.

I read Wolf Hall after I finished Neal Stephenson’s Quicksilver, which takes place in late 17 century post Cromwell England. You might enjoy it as well! It’s packed with history.

> Category theory has virtually zero application to software engineering. > Knowing what a monad is (in the programming sense) has some [practical application]as well.

You’re contradicting yourself. You don’t need to know category theory to use practical abstractions like functors and monads. They are still however category theoretical concepts. If these category theoretical concepts have “some practical application” as you say, then category theory does have application to software engineering.

I too think these changes weren’t better. Wouldn’t going back on most of these constitute a “better” twitter?

I’ve had one for many years and found it to be the perfect device to read and take notes on PDFs: 13” screen, super lightweight, easy to send PDFs to it and from it through the app and writing on it feels similar to writing on paper. Unfortunately the pen’s tip broke off and there doesn’t seem to be any way to fix it or buy new ones. It is mostly useless without it.

Might be obvious but check out Delian Asparouhov, founder of Varda Space Industries. Chris Power, founder of Hadrian. If you look them up in spotify there are many interviews that touch on the space industry. Regarding books:

- I really enjoyed Lift-Off by Eric Berger on the early days of SpaceX.

- Shoot for the Moon is another good read on the Apollo program.

- The Case for Space by Robert Zubrin

- Ignition by John D. Clark for a history of liquid rocket propellants

Godspeed

(Edited formatting)

The author’s objective is to teach the category theoretical concepts that get used in FP. This is particularly important in Haskell since it uses some of these concepts (functors, applicatives, monads, etc.) as design patterns.

He’s objective has never been for the reader to learn this and apply it to prove math theorems.

Both set and category theory are foundational systems for mathematics (or attempting to be). Category theory being newer is trending and probably why you get the sense that it’s considered more prestigious. But I’ve never heard anyone claim it is more prestigious.

Math. I majored in psychology (very little math relative to STEM) and got into programming after graduating. After 5 years of working as an ML engineer (basically a lot of calculus and linear algebra) I decided to study more abstract math starting with proofs and discrete math. So many things started making sense at a deeper level and became easier. I think discrete math in particular since it’s very important in CS but just like playing an instrument, it just improves your thinking.

It’s an incredibly safe language with a very expressive type system, which is good for handling money.

Also, since crypto stuff is relatively new it’s easier to adopt a newer language like Rust. It has been the most loved language on SO survey for some years.

I remember the Functional Programming course you guys taught. Any chance of putting that course in the "Free Course Archives" :)

Do you accept or plan on accepting international students?