bam365

2 ms·

1.
by bam365 5y ago
As a person who has been using Linux as my main desktop OS since 2003, unfortunately there are almost as many impediments to the average user switching to Linux now as there was back then. 1. Although game support has gotten better, most AA
2.
by bam365 7y ago
Not an expert on spec, but I suspect that there are a lot of data that are not representable with combinations of predicates: GADTs, rank-n types, existential types, type families, data families, and other more advanced type system features
3.
by bam365 7y ago
It seems like you're arguing that dynamically typed languages are best because they don't get in the way of programmers who are good enough to pretty much never screw it up in the first place. Am I misunderstanding you?
4.
by bam365 8y ago
And if you don't want to implement the option monad yourself, there's the bs-abstract library, which contains a bunch of category theory definitions and implementations. I have gotten a lot of mileage out of it even in the small a
5.
by bam365 11y ago
I'd like to be positive about this especially considering the thought behind it, but...this is bad. I read the tutorial PDF hoping not to find BASIC-style unstructured programming. I was disappointed. QBASIC was the first language that
6.
by bam365 12y ago
He's probably referring to the fact that you have to use different arithmetic operators for int and float in OCaml, so it would have to be 1.0 +. 2.0
7.
by bam365 12y ago
No, there really hasn't. And it's a little embarrassing. Lawyers, doctors, carpenters, electricians, engineers, etc. don't feel the need to produce countless rhetorical manifestos. I'm not sure why our profession (or cra
8.
by bam365 12y ago
The Happiness Manifesto? Happiness-driven developers? Enough, already. This is an interesting time for computer programming and computer science in general. We're witnessing the coming of age of a very important profession. We owe it t