3451
New
The latest blog posts to take off on Hacker News. 5,636 posts.
3452
Elm in Production: 25K Lines Later
Reflecting on our experience of using Elm in production and an evaluation of Elm's distinguishing features
3453
Implementing Algebraic Effects in C
We describe a full implementation of algebraic effects and handlers as a library in standard and portable C99, where effect operations can be used just like regular C functions. We use a formal operational semantics to guide the C implementation at every step where an evaluation context corresponds directly to a…
3454
The case against Kotlin
Ryan Cooke | Android Engineer, Core Experience
3455
Manipulate Functions with the J Language
The Pragmatic Programmer recommends that we learn at least one new language every year. To be effective, the languages we learn should differ sufficiently from those we already master and ideally introduce us to a new paradigm too. Learning a different programming language affects the way we view code. A new paradigm…
3456
3457
3458
Metaclasses: Thoughts on generative C++
I’ve been working on an experimental new C++ language feature tentatively called “metaclasses” that aims to make C++ programming both more powerful and simpler. You can find out about it here: Curr…
3459
3460
Why I’m Learning Perl 6
Nothing! Just kidding, you’ll see a lot of distressed messages from tasks that passed out wait for the phone to ring, and woke up wearing someone else’s OS thread. 1
3461
3462
Why I’m Frustrated with Go
A brief example demonstrating my current frustrations with the Go programming language.
3463
3464
Pascal at Apple
Lately I’ve been reading old computing papers, articles, journals, magazines, and memos and tweeting about them as I work my way through. The most recent exploration was of an Apple internal memo about the history of Apple’s involvement with Pascal. The memo is cursory, but it does provide an interesting snapshot of…
3465
3466
What is “Open Recursion”?
Someone on StackOverflow stumbled onto the strange term “open recursion” and asked what it meant . Since most of the other answers to this online are pretty opaque, I started writing an answer. But then I accidentally wrote a blog post.
3467
Red Programming Language 0.6.3
This new Red release contains ~830 commits, closes 86 issues , and brings a large number of new features. The main one is official support...
3468
3469
A deep dive into Multicore OCaml garbage collector
I recently gave a talk on the internals of multicore OCaml GC at Jane Street offices in NYC. The slides from the talk are available online . But I felt that the slides alone aren’t particularly edifying. This post is basically the slides from the talk annotated with notes.
3470
3471
Toward Go 2
How we will all work together toward Go 2.
3472
The language of choice
Propositional logic was discovered by Stoics around 300 B.C., only to be abandoned in later antiquity and rebuilt in the 19th century by George Boole’s successors. One of them, Charles Peirce, saw its significance for what we now call logic circuits, yet that discovery too was forgotten until the 1930s. In the ’50s…
3473
The long arrow operator in C++
Dr Ivan Čukić -- author of the 'Functional Programming in C++' book, KDE developer and Free/Libre Software enthusiast.
3474
3475
3476
JDK 9: Pitfalls for the Unwary
JDK 9 is in the final phases of development, heading towards release on September 21st. The public review consideration ballot for the Java Platform
3477
How Rust is tested
Rust is a systems programming language with massive ambitions. It is designed for creating the most reliable software, from the tiniest embedded systems to multi-million line behemoths, and its users need to have confidence that it is fit for purpose.
3478
3479
Where Do Type Systems Come From?
Every time I want to quickly understand something about an advanced type system or programming language concept I get lost when I see something like this on Wikipedia:
3480
The language of programming
Coding as a non-English speaker, or what Excel, Illustrator, and functional programming can teach us about names.