Post Profile






Graydon Hoare: What next for compiled languages?

Since everybody is talking about this post,we might as well. Key topics discussed: modules(you know, real ones); errors ("there are serious abstraction leakages and design trade-offs in nearly every known approach"); Coroutines, async/await, "user-visible" asynchronicity; effect systems, more generally (you could see that coming, couldn't you?); Extended static checking (ESC), refinement types, general dependent-typed languages; and formalization ("we have to get to the point where we ship languages -- and implementations -- with strong, proven foundations").
read more

share

Related Posts


Fully Abstract Compilation via Universal Embedding

Technology / Programming : Lambda the Ultimate

Fully Abstract Compilation via Universal Embedding by Max S. New, William J. Bowman, and Amal Ahmed: A fully abstract compiler guarantees that two source components are observationally equivalent in the source language if and only i...

Compilers as Assistants

Technology / Programming : Lambda the Ultimate

Designers of Elm want their compiler to produce friendly error messages. They show some examples of helpful error messages from their newer compiler on the blog post. Compilers as Assistants One of Elm’s goals is to change our relat...

Miscellaneous Database Design Errors

Technology : SemanticWeb.com

by Michael Blaha This is the third and final blog in a series about database design errors. The two previous blogs addressed primary key and foreign key errors as well as confusion with many-to-many relationships. Now let’s discuss ...

Interactive scientific computing; of pythonic parts and goldilocks languages

Technology / Programming : Lambda the Ultimate

Graydon Hoare has an excellent series of (two) blog posts about interactive computing. echnicalities: interactive scientific computing #1 of 2, pythonic parts echnicalities: interactive scientific computing #2 of 2, goldilocks langu...

The evolution of Rust

Technology / Programming : Lambda the Ultimate

Graydon Hoare is the original developer of Rust even before Mozilla adopted it. For the 1.0 release he prepared a lightning talk on how the language changed over 10 years. He only published some bullet points, but the topic list is ...

Comments


Copyright © 2016 Regator, LLC