4921
Monads and Macros
Monads and macros have an almost gnostic mystique about them. Why is that? Why does hardly anyone use both?
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 5,634 posts.
4922
4923
Announcing Clojure/core
I'm happy to announce Clojure/core , a joint endeavor between myself and Relevance, Inc. Clojure/core is a specialized technical practice w...
4924
Typed Lisp, a Primer (2019)
Exploring Lisp's fine-grained type hierarchy.
4925
4926
4927
The Joy of The Joy of Clojure Closure
It’s has been an absolute pleasure 2 working with Chouser 3 and our army of Manning 4 editors and proofreaders. I would also like to thank Christophe Grand for his excellent 5 technical review. Additionally, I would like to thank Steve Yegge for writing the foreword and providing insightful feedback 6 that I believe…
4928
The Emergent Features of JuliaLang: Part II – Traits
Introduction
4929
An Awk Implementation in C99
A somewhat compact implementation of the awk programming language
4930
Lambda Calculus and Lisp, part 1
The first of a series of envisioned blog posts on lambda calculus, and Lisp. It’s unclear exactly where to start: there is a whole heap of interesting issues, both theoretical and in terms of concrete implementations, which tangle and interconnect. A particular application of lambda calculus is a very salient…
4931
Zig 0.15.1
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
4932
New Diagnostic Architecture Overview
Diagnostics play a very important role in a programming language experience. It’s vital for developer productivity that the compiler can produce proper guidance in any situation, especially incomplete or invalid code.
4933
Shipping Const Generics in 2020
It’s hard to believe that its been more than 3 years since I opened RFC 2000 , which defined the const generics for Rust. At the same time, reading the RFC thread, there’s also been a huge amount of change in this area: for one thing, at the time the RFC was written, const fns weren’t stable, and consts weren’t even…
4934
We interfaced single-threaded C++ with multi-threaded Rust
And lived to tell the tale.
4935
The Power of Lifetimes
The execution of a program unfolds over some interval of time. The lifetime of every temporary resource (e.g., variable or object) is the time span between that resource’s “creation” and “destruction”. This lifetime is wholly contained within the typically-longer lifetime of the program.
4936
Formal Methods and the Future of Programming
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
4937
Obfuscated Erlang Competition Results
We build transformative solutions for the world’s most ambitious companies. We're experts at building massively scalable, distributed systems.
4938
PowerShell Inventor Jeffrey Snover Interview
We had a great talk with Jeffrey Snover, Microsoft Technical Fellow and CTO for Modern Workforce Transformation. Snover is the inventor of Windows PowerShell, an object-based distributed automation engine, scripting language, and command line shell. Enjoy full interview on our website.
4939
4940
4941
The Expression Problem and its solutions (2016)
The craft of programming is almost universally concerned with different types of data and operations/algorithms that act on this data [1] . Therefore, it's hardly surprising that designing abstractions for data types and operations has been on the mind of software engineers and programming-language designers since…
4942
Uninitialized memory: Unsafe Rust is too hard
Why unsafe Rust is a complex and user unfriendly experience.
4943
Even in Go, concurrency is still not easy
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
4944
4945
Making Lenses Practical in Java
How (and why!) to convince the machines to write lenses for you
4946
4947
From first principles: Why I bet on Scala.js
Three years ago, I downloaded the nascent Scala.js compiler and tried to use it on a toy project.
4948
Latches in C++20
Latches and barriers are coordination types that enable some threads to wait until a counter becomes zero. You can use a std::latch only once, but you can use a std::barrier more than once. Today, I have a closer look at latches.
4949
Rama on Clojure's terms, and the magic of continuation-passing style
Rama is a platform with huge applicability, able to express all the computation and storage for a backend at any scale. Just like the UNIX philosophy of composing simple programs to do more complex…
4950
