Viewing profile — pauldirac137

Marshall was a panelist on the ArrayCast podcast ( https://www.arraycast.com/ ) which discusses all things relating to array languages. He's sadly missed :(

The author says: "If you have a reason to think that OCaml is the best choice for a new project please let me know your use case, I’m genuinely curious." I think it's overwhelmingl…

Nano is OK, I guess, but it's a bit bloated. Now ed(1) -- that's an editor!

J is not closed source and hasn't been for a while. https://github.com/jsoftware/jsource

Can you be more specific? Show us the code that isn't working.

I would hesitate to call polymorphic variants "part of the OO infrastructure". They are really orthogonal to OO, but they do make OO less necessary. Ironically, OCaml has a really …

You're right, but ST is also implemented using unsafePerformIO. The larger point is that you don't need to dress up a type signature with ST or IO just to use imperative code inter…

Well, maybe "writing a compiler"? or "building a multimillion-dollar Wall Street financial services firm"? :-) In fact, I love and use both Haskell and Ocaml, and I view the two la…

This is exactly the problem that modular implicits will solve. See http://arxiv.org/pdf/1512.01895.pdf

Correct. Multicore _may_ come in 4.04 if we're lucky. No ETA for modular implicits AFAICT, but I really want them ASAP; they will be a game-changer.

If you've been away from Ocaml for a while, this would be a great time to check out what's changed. A package manager, a new optimizer, and we'll soon have modular implicits (think…

Harper is nowhere near as bad, fortunately. No F-bombs, for one thing. Harper is opinionated, curmudgeonly and sometimes arguably unfair, but he always backs up his opinions with r…

Yeah, when reading Harper it's best to skip over the opinion parts and just read the technical content (which is fortunately plentiful). I always feel as if he's jealous of Haskell…

Modules are strictly more powerful than Haskell type classes (at least, more powerful than naive type classes; there are so many extensions that I'm not sure that is still the case…

Agree with everything you said, and I'd also add polymorphic variants. I too am a Haskeller now writing mostly Ocaml. I view the two languages as cousins. Both have great features …

F# is nice but it doesn't have the Ocaml module/functor system, which is a huge loss in expressiveness. It does have seamless .NET interoperability, which is a big win in some case…

I completely disagree. I'm a typoholic to the core. For the last five years I've mostly been programming in Haskell, but lately I've come back to Ocaml and I have to say it's impro…

All the minor syntax issues in Ocaml are just that, minor. After a week of coding in Ocaml you won't even notice them. The operator underloading is the most annoying, but with modu…

Named parameters in Ocaml are not a syntax extension. http://caml.inria.fr/pub/docs/manual-ocaml/lablexamples.html...

You thought right. Ocaml is an impure functional language.

This. I also like the quote from the article that Pynchon is a great stunt-man but not a great artist. I read a few chapters from Crying of Lot 49, and it felt like every sentence …

Abelson and Sussman's _Structure and Interpretation of Computer Programs_. http://mitpress.mit.edu/sicp

Bester is one of my favorite SF writers, and it's almost criminal how few people know about his work. In addition to The Demolished Man and The Stars My Destination (the latter my …

Cannot upvote enough.

I would have told them that I had no idea what that was, but then told them what the "Liskov Substitution Principle" (named after Barbara Liskov of MIT) was. I mean seriously, if a…