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.
That's how economic reality should be treated. Our own reality is primary. We will take back our lives. What Jacobin is working towards is admirable. We believe in progress, that a better way is possible, and that the current state of affairs is suboptimal. We should encourage alternative economic thinking.
True, I do know people who work at Uber who I have worked with before. Just kidding but I would like to show that worker owned business can be more efficient because of locality of information transfer and decision making. It's not my professional area so I have to rely on my beliefs. I am working toward creating software companies to embody these ideas.
Read the article more carefully, "they might be willing to switch to a co-op model that offers a cheaper price and solid service". A co-op can have lower prices and pay it's members more because they don't have to funnel profits to support the bloat of a central corporation like Uber.
I've written working servers and deployed them using Haskell but am having trouble getting to the phone screen stage. I decided to offer a really low rate for a remote contract and at least got someone to agree to a phone call. It's definitely an employer's market, but just apply, and network; I believe my connections in the Haskell community will eventually lead to a job. I've gone to LambdaConf and will be at MonadLibre and StrangeLoop. So far I've meet Chris Allen and will meet Ed Kmett among others. They are very approachable! Haskell isn't the end goal for me, but if I'm going to be working on someone else's vision, I really want it to be in Haskell. The amount and relative ease of getting Scala jobs is depressing, but keep fighting the good fight.
I think pattern matching is fine, I don't see how it is still "boolean". The additional techniques shown are interesting, but heavy abstractions that should not be prescribed in general.
How does using if statements make it easier to introduce locale sensitive computation? A locale should be represented in the arguments or as a transformation, very similar to what the article is doing.