4321
Unsigned sizes: A five year mistake
C3 is the ergonomic, safe evolution of C. Familiar syntax, full ABI compatibility, optionals, slices, contracts and zero-cost abstractions.
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 5,634 posts.
4322
4323
Unsafe Rust is harder than C
Or: The Most Expensive Linked List I’ve Ever Written
4324
4325
Just how constexpr is C++20’s std:string?
In C++20, string and vector are marked constexpr, which means they’re somewhat usable in compile-time programming. For example, we can write:
4326
The long strange trip to Java (1996)
I've debated with myself for several years about whether or not to write this down. After so much time has passed, the facts are confused, 20/20 hindsight creeps in, and selective memory plays a role in how fairly I can portray the events. Many reporters have asked me my version of these past few years, several have…
4327
Go’s Features of Last Resort
A “Feature of Last Resort” (FOLR) is a useful feature which solves certain otherwise hard-to-solve problems, but are often best avoided.
4328
4329
Garbage collected smart pointers in Rust via concurrent cycle collection
Scheme to the Spec is a series on the more complex, often overlooked aspects of programming language implementation.
4330
Clojure's core.typed vs Haskell
I compare code between typed clojure and Haskell implementations of project euler solutions to examine the differences and similarities.
4331
A Python Optimization Anecdote
Dash knows your context, your team, and your work, so your team can stay organized, easily find and share knowledge, and keep projects secure, all from one place.
4332
Scala’s Types of Types
This blog post came into being after a few discussions about Types in Scala after some of JavaOne’s parties in 2013. After those discussions I figured that many questions are often repeated by different people, during their learning of Scala. I though that we didn’t have a full list of all tricks what we can to with…
4333
4334
Chris Lattner on the Origins of Swift
In episode 1 of the Swift Community Podcast, Chris Lattner, Garric Nahapetian, and John Sundell talked about the origins and the current state of Swift. This is an edited transcript of the most interesting parts of the conversation.
4335
How to Name Clojure Functions
This is a guide on naming Clojure functions. There are exceptions to every rule. When you’re defining something based on natural language, there are more exceptions than rules. I break these rules more often than I follow them. This guide is just a starting point for thinking about how to name things.
4336
Say hello to x86_64 assembly, part 4
Some time ago i started to write series of blog posts about assembly programming for x86_64. You can find it by asm tag. Unfortunately i wa...
4337
Jython 2.7.0 Final Released
On behalf of the Jython development team, I'm pleased to announce that the final release of Jython 2.7.0 is available! It's been a long road...
4338
Rust's derive often implies inline
In Rust, one of the most common ways to implement core traits (like Debug , Display , and Clone ) is to #[derive(...)] them, e.g.:
4339
Common Lisp Development Tooling
A beginner's exploration of the many layers of Common Lisp development environments.
4340
4341
Programming with Nothing
I love Ruby! I’ve used it every day for years and I’m not sick of it yet. It’s an easy language to love: it’s expressive, flexible and syntactically beautiful ; it has a unique combination of useful features like mixins , metaclasses and blocks ; it comes with a useful core library and comprehensive standard library …
4342
Emacs Bytecode Internals (2014)
Byte-code compilation is an underdocumented — and in the case of the recent lexical binding updates, undocumented — part of Emacs. Most users know that Elisp is usually compiled into a byte-code saved to .elc files, and that byte-code loads and runs faster than uncompiled Elisp. That’s all users really need to know…
4343
Why OCaml GADTs matter for performance
When GADTs (Generalized Algebraic Data Types) landed in OCaml, I wasn’t particularly happy about it. I assumed that it was the kind of nonsense you get when ...
4344
4345
How Hy backported “yield from” to Python 2
Hello everyone! Time for a bit of a diversion towards one of my favorite projects, Hy ! (I'm an occasional committer, but the main mastermind behind the project is my good friend Paul Tagliamonte .) For those of you who don't know, Hy is a Lisp that transforms into the Python AST. Even more fun: you can import .hy…
4346
Lisp: Good News, Bad News, How to Win Big (1991)
Lisp has done quite well over the last ten years: becoming nearly standardized, forming the basis of a commercial sector, achieving excellent performance, having good environments, able to deliver applications. Yet the Lisp community has failed to do as well as it could have. In this paper I look at the successes, the…
4347
Basic Type-Level Programming in Haskell
Dependently typed programming is becoming all the rage these days.Advocates are talking about all the neat stuff you can do by putting more and more informat...
4348
GNU Compiler Collection 4.6.0 released with Go programming language support
The GNU project and the GCC developers are pleased to announce the release of GCC 4.6.4.
4349
Introduction to Haskell Typeclasses
In this article, we introduce you to typeclasses in Haskell: what they are, how they can be used, and how to define your own instances of typeclasses.
4350
Combinatris: Tetris with SKI Combinators
Combinatris