361
Compiling Typed Python
With a little effort, you can make your mypy-typed Python go zoom.
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 390 posts.
362
C++17 creates a practical use of the backward array index operator
Possibly more than just a curiosity.
363
Making Lenses Practical in Java
How (and why!) to convince the machines to write lenses for you
364
The Future of Programming – Interview with Richard Eisenberg
Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a peek at how Jane Street approaches problems, and how those ideas relate to tech more broadly.
365
Language Pragmatics Engineering
On best practices and gradient descent.
366
APL: An Array Oriented Programming Language (2018)
APL was invented by Ken Iverson in the early 1960s as a notation for array oriented calculations. It was precise and useful enough, so it…
367
Does Go Have Subtyping?
I’ve been noodling on a static type system for my current hobby language. To try to keep the language as simple as possible, I’m trying to see if I can live without subtyping. Since most of my programming experience is in object-oriented languages, I’ve been learning more about languages that lack—or at least claim to…
368
Church vs. Curry Types
Static vs dynamic typing debates often flounder because the debators see from two different perspectives without knowing it. Learning to identify the two perspectives can calm the discussion. The tension between the two perspectives has led to Gradual Typing and other technologies.
369
"Useless Ruby sugar": Endless (one-line) methods
Or, about the virtue of exactly one phrase.
370
The Changing "Guarantees" Given by Python's Global Interpreter Lock
A look into the implementation details of CPython's Global Interpreter Lock (GIL) and how they changed between Python 3.9 and the current development branch that will become Python 3.13.
371
Sometimes, it is a compiler bug (2022)
My journey in finding and fixing a bug in a C++ toolchain
372
Rust vs Go: A Hands-On Comparison
Rust versus Go is a controversial topic that pops up from time. In this post, we will compare both languages in the context of web development by writing a small web service which shows weather data in both languages.
373
374
Visual programming with Elixir: Learning to write binary parsers (2019)
Visualize binary protocols by building parsers in Elixir.
375
376
Iterators in Go: A proposed extension
Iterators in Go are a neat way to write “lazy loops”, where we never generate more results than we actually use. Let’s see what that would look like in Go programs, and what new facilities it gives us in the standard library.
377
378
JEP 457: Class-File API for Parsing, generating, transforming Java classfiles
Provide a standard API for parsing, generating, and transforming Java class files. This is a preview API .
379
Ash: A Gentle Primer
An introduction to Ash Framework, written for new Elixir developers. Comes with LiveBooks for interactive examples, live-coding video walkthrough, and illustrations.
380
Why Rust helps even if you have to use a lot of `unsafe`
I semi-regularly hear developers who claim that using Rust would not gain them anything because they would have to use `unsafe`. But this is not true. Local reasoning matters.
381
Types versus sets (and what about categories?) (2022)
A recent Twitter thread brought home to me that there is widespread confusion about what types actually are, even among the most prominent researchers. In particular: are types the same thing as sets ? At the risk of repeating some of my prior posts, perhaps it’s time for a little history about type theory, set theory…
382
This Week in Rust 499
Hello and welcome to another issue of This Week in Rust ! Rust is a programming language empowering everyone to build reliable and efficient software. This is a weekly summary of its progress and community. Want something mentioned? Tag us at @ThisWeekInRust on Twitter or @ThisWeekinRust on mastodon.social, or send us…
383
What's new in C# 12: overview
It′s mid-fall which means a new version of C# is coming soon. It′s time to find out what updates will soon appear in the language. Although C#12 has fewer features than previous versions, it still...
384
30 years of Brainfuck
Has nerd sniping gone too far?
385
Haskell WebAssembly in the Browser
As far as I know this is the first Haskell program compiled to Webassembly (WASM) with mainline ghc and using the browser DOM.
386
Is it possible to write games like Pac-Man in a functional language? (2008)
It's not about technology for its own sake. It's about being able to implement your ideas.
387
Clojure Rationale (2008)
Customers and stakeholders have substantial investments in, and are comfortable with the performance, security and stability of, industry-standard platforms like the JVM. While Java developers may envy the succinctness, flexibility and productivity of dynamic languages, they have concerns about running on…
388
Mixing Swift and C++
Swift is a general-purpose programming language built using a modern approach to safety, performance, and software design patterns.
389
JEP 454: Foreign Function and Memory API
Introduce an API by which Java programs can interoperate with code and data outside of the Java runtime. By efficiently invoking foreign functions (i.e., code outside the JVM), and by safely accessing foreign memory (i.e., memory not managed by the JVM), the API enables Java programs to call native libraries and…
390