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 overwhelmingly the best language for writing an…
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 nice OO system but it's rarely used…
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 internally which can't leak out to the user…
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 languages as cousins. Both are…
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 Haskell-style type classes, but…
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 reasoned arguments. Even when you don't…
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's success.
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). Modular implicits are described…
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 the other doesn't. Both are worth…
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 cases. YMMV. Both are good languages.
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 improved massively and continues to do so.…
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 modular implicits on the way that will…
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 was a crossword puzzle I had to solve,…
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 all-time favorite SF novel), he also…
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 company can't spell, do you want to…
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 overwhelmingly the best language for writing an…
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 nice OO system but it's rarely used…
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 internally which can't leak out to the user…
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 languages as cousins. Both are…
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 Haskell-style type classes, but…
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 reasoned arguments. Even when you don't…
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's success.
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). Modular implicits are described…
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 the other doesn't. Both are worth…
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 cases. YMMV. Both are good languages.
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 improved massively and continues to do so.…
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 modular implicits on the way that will…
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 was a crossword puzzle I had to solve,…
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 all-time favorite SF novel), he also…
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 company can't spell, do you want to…