HN user

Arrrlex

34 karma
Posts0
Comments14
View on HN
No posts found.
The Lazy Monad 4 years ago

I think this is the mistake a lot of people make: they form an intuition of monads after seeing lots of examples of them, and then they try to communicate that intuition without just saying "here are lots of examples of monads".

Just to clarify: there are lots of numbers that aren't real numbers (for example, imaginary numbers). Intuitively the real numbers are all the points along the number line, including rationals and irrationals (such as root 2, pi, or e). There are lots of other comments in this thread that give a good explanation of how that works formally.

If the students haven't yet encountered complex numbers, infinitesimals, infinities etc. then it's perfectly reasonable to say that all numbers are assumed to be real (as follows strictly from the definition in the book).

This isn't a reply to your substantive point (of course I agree that fortran/numpy programmers do science), but certainly when I'm coding with numpy I have a mental model of the shapes of the arrays, very akin to the mental model I have of the types of objects in e.g. Haskell or Python. Sure, the shapes are runtime properties and they're not enforced anywhere, but that doesn't matter to my mental model of what's going on.

This is a draft. I expect that, when the first finished version is ready, the authors will promote it effectively (IMO they are very good at promoting their courses at fast.ai).

Location: Berlin

Remote: ok

Willing to relocate: no

Technologies: Python (web development + NLP), server-side Swift, Scala, AWS, Gitlab/Jenkins CI

CV: alexmck.com/files/cv.pdf

Email: hello@alexmck.com

Mathematics graduate with 4 years' experience as a software developer, looking for a part-time Software / Data / ML Engineer role while I finish my masters in CS.

Immediately productive in Python, I'm also demonstrably fast at learning new tech stacks (e.g. Swift and Scala in my current role). I care deeply about good software design, test-driven development, and having a product-first mindset. Excellent communication skills.

How to Exit Vim 7 years ago

I'd have thought it's because the French keyboard layout is arranged with the "Z" in place of the "W" on a qwerty layout