nitnelave

9 ms·

91.
by nitnelave 7y ago
Interesting, but there are quite a few bits that are Java-specific. I'm thinking in particular about exposing mutable objects: they mention that even if you expose an immutable reference, the object can still be mutated, same for colle
92.
by nitnelave 7y ago
Just a few points that I'd like to answer to this article: - One of the primary concerns of Bison is the speed of the generated parsers. In the section about performance, they say that ALL is 135x faster than GLR. Digging into the ori
93.
by nitnelave 7y ago
In a discussion on the usefulness/overuse of operators, I'm surprised nobody has mentioned J. Here's quicksort in J: (($:@(<#[), (=#[), $:@(>#[)) ({~ ?@#)) ^: (1<#) Good luck understanding that!
94.
by nitnelave 7y ago
Advent of code ( https://adventofcode.com/2019 ) is a programming puzzle a day for each day of December, in increasing difficulty. I chose to start with the more "esoteric" languages to keep the ones I was more fami
95.
Show HN: Advent of Code in a different language every day(github.com)
1 points by nitnelave 7y ago|2 comments
96.
by nitnelave 7y ago
An example of a small Prolog program used in a perfect use-case: the advent of code of this year. https://github.com/nitnelave/advent_of_code_2019/tree/master... I'm doing the advent of code in a differe
97.
by nitnelave 7y ago
True, it's not bulletproof. However, with a bit of discipline it's possible to use it safely. And anyway, it's already an improvement over just documentation like "don't call this until you called that"
98.
by nitnelave 7y ago
I wrote something similar in C++, completely compile time that disappears at runtime: https://www.fluentcpp.com/2019/09/24/expressive-code-for-sta... Although the language itself doesn't guarantee that t
99.
by nitnelave 7y ago
I'm the author of the article. This came first as an attempt to enforce a protocol at compile-time, in C++. Feel free to AMA!
100.
Compile-time state machines in C++(fluentcpp.com)
1 points by nitnelave 7y ago|1 comments
101.
Enforcing protocols at compile-time in C++(github.com)
2 points by nitnelave 7y ago|0 comments
102.
ProtEnc – Proving Protocols with Typestates in C++(github.com)
2 points by nitnelave 7y ago|0 comments
103.
ProtEnc – Typestate Library in C++(github.com)
3 points by nitnelave 7y ago|1 comments