philzook

28 ms·

271.
by philzook 7y ago
Yeah. I think you have exposed my double think. I really WANT to like that stuff regardless of the facts, but I might not. Monads are not my favorite part of Haskell. They hurt. But purity and immutability is. I want these at almost any cos
272.
by philzook 7y ago
I have lived my life entirely outside of the .NET and Windows ecosystem, not really eager to go into it. Godspeed F# though!
273.
by philzook 7y ago
I haven't figured out where on the internet OCaml people live. Maybe they have better things to do with their lives than proselytizing. There is very clear bias in my opinions and information. Jane Street is a very prominent industrial
274.
by philzook 7y ago
My accounting of languages was not thorough. I picked very common languages and Haskell. I am also not sufficiently familiar with clojure to form judgement. I am skeptical that a language without a type system will scale in mental and proje
275.
by philzook 7y ago
It can get quite bad, yes. I find the simple cases pleasant at least. a -> Maybe b is the signature of a partial function. a -> State s b is a function that can mutate state, a -> [b] is a function that nondeterministically returns
276.
by philzook 7y ago
It depends. After having gotten used to it, I can usually barely glance at an error and figure it out. I am basically satisfied with ghc errors messages, although they could be better. Sometimes it takes real head scratching. I think langua
277.
by philzook 7y ago
Haskell is very, very funny. Coq brings tears of amusement to my eyes. I couldn't and can't resist. ( shrug )
278.
by philzook 7y ago
Interesting, thanks! There are many exciting possibilities for the future of programming. My point to my friends is that I actually think Haskell is a shockingly pragmatic choice right now, despite how much my goofing around implied otherwi
279.
by philzook 7y ago
Welp, my apologies. I'm a doof.
280.
by philzook 7y ago
:(
281.
by philzook 7y ago
I personally do not claim that Monadic code is clearer to read nor easy. But I think it is ultimately worth it in that the TYPES of monadic code are clearer and compiler enforced. By combinators I did not necessarily imply punctuation opera
282.
by philzook 7y ago
A small quibble. I hate downloading binaries from websites. I hate ever going outside my package manager. I want to be able to get the latest version. I think many people prefer Julia the way it is.
283.
by philzook 7y ago
I think Haskell is more general purpose than people give it credit for. The domains I care about are general web dev for stuff, formal methods, and numerical computation. I do not use Haskell day to day for numerical computation (I tend to
284.
by philzook 7y ago
I agree on the promise (perhaps already realized) of Julia. The library ecosystem there is so, so incredible. The language is custom formed to it's intended domain of numerical computation. I've been trying to ween myself off of p
285.
by philzook 7y ago
Author here. This is deeply amusing that among all the posts I write, the rushed half cogent Haskell rant rehashed for the billionth time gets the most attention. I guess that makes sense.
286.
by philzook 7y ago
Author here. Glad you liked the post enough to submit it!
287.
Lens as a Divisibility Relation: Goofin’ Off with the Algebra of Types(philipzucker.com)
1 points by philzook 7y ago|0 comments
288.
A Touch of Topological Quantum Computation 3: Categorical Interlude(philipzucker.com)
2 points by philzook 8y ago|0 comments
289.
by philzook 8y ago
I am so jealous of MetaOcaml.
290.
by philzook 8y ago
John Baez (physicist / category theorist / smort dude) has a list of books to learn math and physics. Is an interesting source to crib from. http://math.ucr.edu/home/baez/books.html Gerhard t'Hooft
291.
A Touch of Topological Quantum Computation in Haskell Pt. II(philipzucker.com)
1 points by philzook 8y ago|0 comments
292.
by philzook 8y ago
Not computability exactly, but Ryan O'Donnell from CMU has put up videos of his undergraduate and graduate complexity courses. Might be of interest. https://www.youtube.com/channel/UCWnu2XymDtORV--qG2uG5eQ/pla
293.
A Touch of Topological Quantum Computation in Haskell Pt. I(philipzucker.com)
3 points by philzook 8y ago|0 comments
294.
by philzook 8y ago
I've been watching this stuff with great interest for a while now. Glad to see it's getting press here. Conal also has a paper on using this approach for automatic differentiation. https://www.youtube.com/watch?v=M
295.
by philzook 8y ago
Nice