2911
Return type polymorphism in Haskell
In this brief post I want to discuss a fairly unusual feature of Haskell - functions that can be parameterized by their return type.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 3,709 posts.
2912
Classification of the Principal Programming Paradigms (2009)
The chart classifies programming paradigms according to their kernel languages. Kernel languages are ordered according to the creative extension principle: a new concept is added when it cannot be encoded with only local transformations. Two languages that implement the same paradigm can nevertheless have very…
2913
Exploring Coroutines in PHP
Coroutines are functions that pause and resume with state, allowing flexible, bidirectional control flow in PHP.
2914
An alternative front end for Haskell?
λm.me - An alternative frontend for Haskell?
2915
Parsing JSON in 500 lines of Rust
Finally sitting down to learn Rust and how to write parsers.
2916
Go’s runtime C to Go rewrite, by the numbers
The start of September brings a close to the Go 1.4 merge window . From now until the release in December, only bug fixes and tweaks will be accepted.
2917
What Is Zig's Comptime?
Let's take a quick look at what compile-time execution looks like in Zig.
2918
2919
Syntax across languages
Looking for operator or function names? Well have a look at the following and remember using existing one may ease the transition :)
2920
2921
2922
The Elixir of concurrency
Elixir is a fairly young language that was born when José and a few Rails developers tried to create a modern language optimized for concurrent, distributed, lightweight processes They wanted a modern Ruby-like syntax with a well-tested process ma
2923
Avoiding Reflection (And Such) in Go
So, as previous posts show , I like Go well enough. But as a computer-language polyglot, "Go programmer" is not part of my identity, and I try for a balanced view. It is very human to go overboard in both praise and criticism, both easy to find online.
2924
Threads (in Ruby): Enough Already
For a while now, the Ruby community has become enamored in the latest new hotness, evented programming and Node.js. It's gone so far that I've heard a number of prominent Rubyists saying that JavaScript and Node.js are the only sane way to handle a number of
2925
Resurrecting Fortran
We have finished the first chapter on a long journey of resurrecting Fortran: forming an initial core community of developers and users with enough momentum around the new Fortran website and projects at fortran-lang.org . There is still have a long way to go to, but this was a necessary (although not sufficient)…
2926
Writing A Lisp Interpreter In Haskell
An article describing the experience of writing a Lisp interpreter in Haskell.
2927
Come Break My Compiler
Don’t worry … it’s super easy 🙃
2928
2929
Using Drop for safety in Rust
A deep dive into Rust’s vec::Drain and its Drop implementation as an example of how ownership prevents subtle bugs—memory and otherwise!
2930
2931
Copy-and-Patch: A Copy-and-Patch Tutorial
If you can ctrl-c and ctrl-v, you can build a JIT.
2932
Why the Sorbet type checker is fast
This is the second in an indefinite series of posts about things that I think went well in the Sorbet project. The previous one covered our testing approach. Sorbet is fast. Numerous of our early users commented specifically on how fast it was, and how much they appreciated this speed. Our informal benchmarks on…
2933
Revisiting 'Monadic Parsing in Haskell'
‘Monadic Parsing in Haskell’ is a short paper that laid the groundwork for libraries like Parsec and Attoparsec. Although it was published in 1998 (almost 20 years ago!) it has aged gracefully and the code samples will run with almost no changes. However, the state of the art has advanced since then and I think the…
2934
2935
Property-Based Testing with PropEr, Erlang, and Elixir
Today, I'm publishing a new book: Property-Based Testing with PropEr, Erlang, and Elixir . It's my third book, the second one that is not self-published.
2936
2937
The lack of a case against Python 3
A point-by-point rebuttal of Zed Shaw's Unicode and 2to3 complaints, with a trainer's view on which Python version to teach beginners in 2016.
2938
They Called It LISP for a Reason: List Processing (2005)
Lists play an important role in Lisp--for reasons both historical and practical. Historically, lists were Lisp's original composite data type, though it has been decades since they were its only such data type. These days, a Common Lisp programmer is as likely to use a vector, a hash table, or a user-defined class or…
2939
God writes Haskell
God famously does not play dice with the universe, but he seems to enjoy writing Haskell :
2940
Using Lua as a Serialization Format
This is somewhat of a followup to my post on Lua integration from a few days ago.