751
Linear types are merged in GHC
Looking back at the journey which brought us there, and forward to what still lies ahead.
New
The latest blog posts to take off on Hacker News. 1,929 posts.
752
The Next Step for Generics
An updated generics design draft, and a translation tool for experimentation
753
Generics and Compile-Time in Rust
Learn about the benefits of TiDB and the TiDB Cloud solutions from PingCAP. Read our latest post "Generics and Compile-Time in Rust" here.
754
755
Static Analysis
Nim is in an excellent position to “get married” with static analysis, and it doesn’t have to be based on some intermediate representation but can achieve a solution more similar to Spark.
756
Collapse OS – Why Forth?
Collapse OS' first incarnation was written in Z80 assembler. One of the first feedbacks I had after it went viral was "why not Forth?". I briefly looked at it and it didn't seem such a great choice at first, so I first dismissed it. Then, I had what alcoholics refer to as a "Moment of clarity".
757
Why the developers who use Rust love it so much
Here’s why Rust gets so much love, straight from the Rustaceans themselves.
758
759
The Ten Commandments for C Programmers (1987)
``Frequently'' means thou shouldst draw thy daily guidance from it, rather than hoping thy code will achieve lint's blessing by a sudden act of repentance at the last minute. De-linting a program which has never been linted before is often a cleaning of the stables such as thou wouldst not wish on thy worst enemies…
760
Welcome to C# 9.0
Note: This post is out of date. Now that C# 9.0 has been released, an updated version can be found here. C# 9.0 is taking shape, and I’d like to share our thinking on some of the major features we’re adding to this next version of the language. With every new version of C# we […]
761
762
763
How to Fix Slow Code in Ruby
How do we effectively find out why our application is slow? Even if we have a fix for the slow code, how can we prove that our new code is faster?
764
OTP 23
The official home of the Erlang Programming Language
765
Announcing TypeScript 3.9
Today we're excited to announce the release of TypeScript 3.9! If you're unfamiliar with TypeScript, it's a language that builds on JavaScript by adding
766
Debunking that C++ is faster and safer than Rust
Spoiler: C++ isn′t faster or slower — that′s not the point, actually. This article continues our good tradition of busting myths about the Rust language shared by some big-name Russian companies.
767
Racket is 25
posted by Matthias Felleisen and Matthew Flatt The First Thoughts [Matthias]: Wednesday 25 January 1995: POPL used to be a Monday-through-Wednesday-noon affair. Cormac Flanagan presented his future paper there (a static analysis on how to eliminate i...
768
Ruby Next: A Transpiler for Ruby
Introducing Ruby Next, a transpiler for Ruby.
769
The naked truth about writing a programming language (2014)
My career has been all about designing programming languages and writing compilers for them. This has been a great joy and source of satisfaction to me, and perhaps I can help others with some observations about what you’re in for if you decide to design and implement a professional programming language. Of course…
770
Rust/WinRT Public Preview
We are excited to announce that the Rust/WinRT project finally has a permanent and public home on GitHub: https://github.com/microsoft/winrt-rs Rust/WinRT follows in the tradition established by C++/WinRT of building language projections for the Windows Runtime using standard languages and compilers, providing a…
771
Rob Pike interview
Rob Pike, the co-author of the Go programming language, speaks about a career spanning four decades, and the evolution of Go over the last ten years.
772
How we use Rust in our mobile SDK
In this post, we'll discuss some specifics of how we use Rust to power our mobile frameworks for iOS and Android.
773
How to speed up the Rust compiler in 2020
I last wrote in December 2019 about my work on speeding up the Rust compiler. Time for another update.
774
775
The new Clang _ExtInt feature provides exact bitwidth integer types
Author: Erich Keane, Compiler Frontend Engineer, Intel Corporation Earlier this month I finally committed a patch to implement the extended-integer type class, _ExtInt after nearly two and a half years of design and implementation.
776
Go Developer Survey 2019 Results
An analysis of the results from the 2019 Go Developer Survey.
777
778
Cloudflare Workers now supports COBOL
COBOL is often a source of amusement for programmers because it is seen as old, verbose, clunky, and difficult to maintain. COBOL can now be used to write code for Cloudflare’s serverless platform Workers.
779
Zig 0.6.0 Release Notes
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software. With special thanks to many generous sponsors , the Zig project is financially sustainable and currently supports one full-time developer . Let's reboot systems programming.
780
Optimizing Ruby lazy initialization in TruffleRuby with deoptimization
Shopify's involvement with TruffleRuby began half a year ago, with the goal of furthering the success of the project and Ruby community. TruffleRuby is an alternative implementation of the Ruby language (where the reference implementation is CRuby, or MRI) developed by Oracle Labs. TruffleRuby has high potential in…