Research Mathematician. I'm going to try anyway but I doubt I'll even make it to grad school and the career prospects for an average mathematician to do research near full time are dim.
Thanks. I was trying to show it started off unproductive and went into a constructive chat about Haskell type and value level functions, but this was also a lazy test of if people are interested in the conversational format. I think the result is maybe? I want to make a socratic dialogue style presentation of some ideas in FP, I don't have much interest in saying OOP is terrible, because I don't have much interest in talking about OOP.
I like your points, but I'm not sure of the Idris on half a page. How much tacit knowledge does that rely on? We do need to focus on the fundamentals of education, the spectrum of logics with quantifiers, lambda calculus, and natural deduction style presentations of language semantics (not sure what to actually call this?).
Cool, but I find that hard to read. I'm going to do a custom stylesheet, I was just waiting to see if there was any interest in the conversational format form my Slack conversations. Really appreciate your effort.
Having taken Algorithms at both undergrad and graduate levels and read through many books to prep Google/Facebook/etc interviews, I would flip out if anyone ever makes take an Algorithms class again.
I hope it is not stupid. I won't fit inside the university system at this point. They would make me take courses on subjects I already know which is a waste. I have about 20 hours on the weekend I can use towards accomplishing a class and I will have minimal waste since my curriculum is tailored directly for me. Of course it is only because I already wasted a decade learning math poorly that I know what I want to know and what I need to know to know it ;)
This approach is what took my math skills to the next level. I would also frequently skip exercises and forget material that I learned previously. Since I started adding exercise books to my study routine I have seen enormous gains in knowledge retention and my ability to build on concepts already learned. It also doesn't have to be Olympiad style, there are also Math Circles and the general Problems in {Area} book, like one of my favorites Sequences, Combinations, Limits.
Ok, but since I invested time to learn it and can now use it, I can save time every time I do. Perhaps I will pay down my debt eventually, perhaps not. It's a sunk cost and I enjoyed learning about it, so I'm pretty happy.
But if you look at Haskell's Control.Monad you see why the abstraction is helpful [0]. We get things like foldM, it's similar to how you can fold across more than just lists, you can fold across trees and so on, but for all these different structures like State, Either, etc. And yes you are right to point out that some of them have multiple implementations, State can be combined "backwards" or "forwards" (or both). The trade off is you have to invest the time so these abstractions become natural, but once you do so you can use generic control structures that save tons of implementation time.
If TypeScript had these features would it not be as hard to get up to speed with as PureScript? Thus why not just get up to speed with PureScript. I believe in you and your team :)
are there people who excel at software design? they need to write books and papers to explain how they do it because it's still the wild west out here.