1591
A Proposal for Adding Generics to Go
Generics is entering the language change proposal process
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,635 posts.
1592
Another go at Go failed
After a considerable gap, a gave Go another go! The Problem As part of a consulting engagement, I accepted a project to devel...
1593
1594
How to stop functional programming
You go into work and discover that a coworker isn't happy with some code you wrote because they don't understand it. They go to your manager and tell them that you're being a problem by writing code they don't understand. Your manager, being very skilled in conflict resolution, makes a technical decision to avoid…
1595
Why I’m not leaving Python for Go
First of all, Go seems like a great language. It has an excellent tutorial which I joyfully went through and found: Go is Fast. Concurrent by design. Typed (important for JIT and IDE’s) but n…
1596
Kotlin 1.4
Today we’re releasing Kotlin 1.4.0! Over the past years, we’ve been working hard on making Kotlin a programming language that is fun, enjoyable, and productive to work with. To continue our pursuit of this goal with this version of Kotlin, we put a lot of energy and effort into improving the performance and quality of…
1597
sp.h: Fixing C by giving it a high quality, ultra portable standard library
Over the past year, I’ve been working on fixing C by giving it a high quality, ultra portable standard library. It is not a simple wrapper on top of libc; it doesn’t depend on libc except when required to by the platform. To my knowledge, there is nothing like it.
1598
Union types in C# 15
C# 15 introduces union types — declare a closed set of case types with implicit conversions and exhaustive pattern matching. Try unions in preview today and see the broader exhaustiveness roadmap.
1599
Type system of Fortnite's Verse language
Epic Games released an initial public implementation of the Verse programming language. Verse has been designed by some people who really know what they’re doing:
1600
The provenance memory model for C
[The wordpress markdown inclusion does a very bad job, it seems, there have been some idiotic formatting errors. I hope that these are fixed, now.] A years-long effort led by Kayvan Memarian and Pe…
1601
How generics were added to .NET
Before we dive into the technical details, let’s start with a quick history lesson, courtesy of Don Syme who worked on adding generics to .NET and then went on to design and implement F#, which is a pretty impressive set of achievements!!
1602
What can we learn from how compilers are designed?
A case study on how compilers decouple components from each other using data.
1603
Make Your Own Programming Language
This is part 1 in a series of blog posts that follow my work in creating a programming language.
1604
Racket v7.2
_posted by Vincent St-Amour_ Racket version 7.2 is now available from http://racket-lang.org/ Racket-on-Chez is done in a useful sense, but we'll wait until it gets better before making it the default Racket implementation. For more information, see htt...
1605
I'm not mutable, I'm partially instantiated
Incomplete data structures challenge our notion of mutability
1606
Building the Rust Compiler with GCC
If you know one thing about me, it is that I love working on the Rust compiler. Some people kayak, travel or play guitar - and I stare at assembly, trying to figure out what I broke.
1607
Generating C code that people want to use
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is compiled to readable C, meaning existing systems projects can readily integrate…
1608
Clojure 1.13 adds support for checked keys
Clojure 1.13.0-alpha1 is now available! Find download and usage information on the Downloads page.
1609
I think I've solved the Haskell records problem
Today I’m releasing the “record” library, which is an API of just two quasi-quoters, providing a full-scale solution to the notorious records problem of Haskell!
1610
Making Python fast – Adventures with mypyc
Attempting to speed up a library without changing the code using mypyc
1611
Three Minor Features in Go 1.18
Okay, but apart from generics and fuzzing, what has Go 1.18 ever done for us?
1612
Ellie – An Elm Live Editor
Ellie puts the Elm platform in your browser so you can try Elm, share ideas, and bring your programs to life.
1613
Brian Kernighan on the Typesetting of “The Go Programming Language” Book
A while ago, I bought the book “ The Go Programming Language ” written by Alan Donovan and Brian Kernighan. I have always been a fan of Brian Kernighan’s writings. I should admit that I bought the book mainly for his great examples and writings than for the Go language itself, but since then have got interested in the…
1614
Why formalize mathematics – more than catching errors
I read a good post by one of the authors of the Isabelle theorem prover, that got me thinking. The author, Lawrence Paulson, observed that most math proofs are trivial, but writing them (preferably with a proof assistant) is a worthwhile activity, for reasons similar to safety checklists - “Not every obvious statement…
1615
Porting Rust's Std to Rustix
A blog by sunfishcode
1616
A brief introduction to BEAM
The official home of the Erlang Programming Language
1617
Announcing GenStage
GenStage is a new Elixir behaviour for exchanging events with back-pressure between Elixir processes. In this blog post we will cover the background that led us to GenStage, some example use cases, and what we are exploring for future releases.
1618
Crafting Interpreters: Classes and Instances
Caring too much for objects can destroy you. Only — if you care for a thing enough, it takes on a life of its own, doesn’t it? And isn’t the whole point of things — beautiful things — that they connect you to some larger beauty?
1619
Functional programming is not popular because it is weird (2016)
I’ve seen people be genuinely puzzled about why functional programming is not more popular. For example I’m currently reading “Out of the Tar Pit” where after arguing for fu…
1620
Why Clojure? (2010)
I have recently become quite an enthusiast for the language Clojure . But why? Why would someone who has spent the last 30 years programmi...