Okay I yelled at the agilists yesterday, time to yell at the FPers Functional Programmer has many benefits. I really, really, REALLY hate the meme that it's "rigorous", or that FP "is like doing math", or that category theory is somehow the 'proper' basis for programming.
-
Show this thread
-
Now granted I'm only a math BA, not a PhD, but I don't remember it being _anything_ like programming. Math is taking premises and deriving proofs from that. We're not proving things in programming and especially not in FP.
3 replies 1 retweet 14 likesShow this thread -
«But Curry-Howard Correspondence mean well-typed programs are proofs!» Okay. Give me a type that constructs the real numbers from rational Cauchy sequences. Or that there's no algorithm for finding roots of quintic polynomials. Or that contour integrals are well-behaved.
4 replies 4 retweets 22 likesShow this thread -
Replying to @hillelogram @axiomsofchoice
There are *three* algorithms employing specfuns for the quintic. There are no *algebraic*: +×÷-,root extraction -- algorithms. The first was produced in 1858 by Charles Hermite; Oliver Nash: https://bit.ly/2IAwmfo
3 replies 2 retweets 6 likes
There is the method of differential resolvents/the Bring Radical. The general case was *solved completely* by Hiroshi Umemura.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.