4951
What is type safety?
Type safety is the property of a programming language, ensuring its programs are well defined and creating a foundation for reasoning.
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 5,634 posts.
4952
Go enjoy Python3
Given a string, get a truncated string of length up to 12. The task is ambiguous, as it doesn't say anything about whether or not 12 shou...
4953
4954
Ada crate of the year 2024 announced
In 2024 we announced our fourth Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for Ada/SPARK, so we want to…
4955
4956
Why PHP Is Fun and Easy But Python Is Marriage Material
When I kicked off my startup HubSpot over 4 years ago June 2006 I wrote a set of articles on the topic of choosing a language/platform specific
4957
Graham’s Guide to Learning Scala
From The Archives: This article is one of the all-time most popular posts from my previous blog Graham Hacking Scala. I thought it worth updating and re-printing it here. It’s a pretty widely-accepted view that, as a programmer, learning new … Continue reading →
4958
I Love Julia
For the past half year I’ve been exploring Julia in piecemeal fashion. It’s a language that does not conform to the traditional notions of programming. Julia...
4959
4960
JEP 335: Deprecate the Nashorn JavaScript Engine
Deprecate the Nashorn JavaScript script engine and APIs, and the jjs tool, with the intent to remove them in a future release.
4961
4962
Crossing the impossible FFI boundary, and my gradual descent into madness
Anyone trying to make a new mainstream language is completely insane, unless they're backed by a large corporation. 0
4963
Gödel, Escher, Elisp: The Beauty of Macros
If you are an Emacs user with a keen eye, you will have noticed that in Emacs Lisp, code is data. After all, 'Lisp' is shorthand for 'List Processing'. One of E...
4964
Why You Should Be Excited About Garbage Collection in Ruby 2.0
You may have heard last week how Innokenty Mihailov’s great Enumerable::Lazy feature was accepted into the Ruby 2.0 code base. But you may not have heard about an even more significant change that was merged into Ruby 2.0 in January: a new algorithm for garbage collection called “Bitmap Marking.” The developer behind…
4965
Announcing the .NET Framework 4.7 General Availability
Last Updated: 2017/06/15 Today, we are announcing the general availability of the .NET Framework 4.7. The .NET Framework 4.7 was released as part of Windows 10 Creators Update a month ago. You can now install the .NET Framework 4.7 on other versions of Windows. You can download the .NET Framework 4.7: Web installer…
4966
Writing a .NET Garbage Collector in C# – Part 1
First part of a series of articles about writing a .NET Garbage Collector in C# using NativeAOT. This part sets the expectations and setups the project, dealing with the first difficulties.
4967
4968
4969
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.
4970
How Stacks Are Handled in Go
At CloudFlare, We use Go for a variety of services and applications. In this blog post, We're going to take a deep dive into some of the technical intricacies of Go.
4971
4972
JDK 9: Pitfalls for the Unwary
JDK 9 is in the final phases of development, heading towards release on September 21st. The public review consideration ballot for the Java Platform
4973
Emacs Lisp Readable Closures (2013)
I’ve stated before that one of the unique features of Emacs Lisp is that its closures are readable . Closures can be serialized by the printer and read back in with the reader. I am unaware of any other programming language that has this feature. In fact it’s essential for Elisp byte-code compilation because…
4974
Between Two Lisps (2020)
Out of all Lisps the ones I’ve come to appreciate the most are Scheme and Common Lisp.
4975
Writing a second video game for the Micro:bit in Rust
I recently published a story about bitflyer, a simple game for the BBC micro:bit.
4976
Language Pragmatics Engineering
On best practices and gradient descent.
4977
Building StatHat with Go
How StatHat uses Go, and why they chose it.
4978
Irken Language – A Scheme with parametric polymorphism
Irken is a simplified, statically-typed dialect of Scheme . It uses an ML-like type system supporting parametric polymorphism (i.e., "let polymorphism") and algebraic datatypes . With type inference and a pattern-matching syntax, it could be considered ML with a lisp/scheme syntax .
4979
4980
Rust's Object System
On the rust-dev mailing list, someone pointed out another “BitC retrospective” post by Jonathon Shapiro concerning typeclasses . The Rust object system provides interesting solutions to some of the problems he raises. We also manage to combine traditional class-oriented OOP with Haskell’s type classes in a way that…