I originally wrote a draft of this in December, but was inspired to finish it by recent events (i.e. actix-web). We’ve all heard the trope that the “free” in “free software”
Position: Type annotations are ultimately undesirable when working with sufficiently-complex type systems, but there is no better solution.There is a point where a formally-verified compiler becomes indistinguishable from an automated theorem prover.
It's still not public yet, but here's a little bit about my current project.If you've read any of my "What's New" posts, you'll recall hearing about me working on the "Manda" language
Synopsis: Baby's first Lisp
I've seen a lot of weird stuff on Twitter. I've received a lot of phishing links, "TrueTwit" validation DM's (which, if you're still using, please do the world and favor and disable), and
Tinkering around with kernel, Dart's intermediate format... And more.Discuss on Hacker News: https://news.ycombinator.com/item?id=19844762The continued development of Dart's unified frontend (shared across the VM, dev compiler, dart2js,
So, you've written a backend for your app, and you're ready to launch and debut your product to the world. There's just one problem, though - you don't have it running on a server yet, nor do you know how to get that done.
A first look at Angel 2's revamped DI functionality. Along with the many new features coming in Angel 2, the dependency injection has been rethought from the ground up.
Use ANTLR4's lexer mode stack to support rich string interpolations within your own DSL or compiler...
Version 2.0.0 of the batteries-included server-side framework for Dart is coming very soon. Here's what you need to know.
What could be a "killer feature" for the Angel framework, is coming very soon.
The latest version of Dart promises improved type safety and better client-side support. What else will it bring?
If you are interested in creating your own language runtime, and are also planning on working in just-in-time features, there are two major ways to go about it.
In this video, I give a brief (~24 minute) presentation explaining 10 of the key differences that distinguish C++ from C.
Stay up to date! Get all the latest & greatest posts delivered straight to your inbox