🦞🌯 Lobster Roll

Thread

A glimpse into a new general purpose programming language under development at Microsoft (lambda-the-ultimate.org)
Previous coverage: https://lobste.rs/s/t7ormi/c_for_systems_programming

Stories related to "A glimpse into a new general purpose programming language under development at Microsoft" across the full archive.

A glimpse into a new general purpose programming language under development at Microsoft (lambda-the-ultimate.org)
Previous coverage: https://lobste.rs/s/t7ormi/c_for_systems_programming
Idris is a general purpose pure functional programming language with dependent types. (idris-lang.org)
Introduction to Avail; general purpose language which emphasizes articulate programming (availlang.org)
General Purpose Programming Languages' Speed of Light (2013) (tratt.net)
Adept - A blazing fast language for general purpose programming (github.com)
I had never heard of Adept before, and have no idea if it actually meets its performance claims, but given the rising popularity of low-level, "systems programming" languages, it might be worth checking out.
A new optionally-typed general purpose programming language (github.com)
An opinion on what's a good general-purpose programming language (avestura.dev)
The problem with general purpose programming languages (guitarvydas.github.io)
Seed7: A general purpose programming language designed by Thomas Mertes (thomasmertes.github.io)
Yao: General-purpose extensible systems/scripting/shell programming language (git.yzena.com)
Gambol: Fast general purpose compiled programming language with full reflection (gambol.dev)
F*: A proof oriented general purpose programming language (fstar-lang.org)
Turing.jl: a general-purpose probabilistic programming language (dl.acm.org)
Zig is a general-purpose programming language (ziglang.org)
Programming Languages Are Simply Not Powerful Enough (ivanjovanovic.com)
Lobster: a game programming language (strlen.com)
Typo: a programming language that runs in Haskell's type system (github.com)
intuitionistic programming language (intuitionistic.org)
How to learn a new programming language (jasonlotito.com)
typo: A programming language that runs in Haskell's type system. (github.com)
Nimrod -- a compiled, garbage-collected systems programming language (github.com)
The Red Programming Language (red-lang.org)
Which first language is best for learning programming techniques? (valbonneconsulting.wordpress.com)
Which programming language has the best package manager? (blog.versioneye.com)
The RedMonk Programming Language Rankings: January 2014 (redmonk.com)
10 programming languages worth checking out [ December 21 2008 ] (h3rald.com)
The ooc programming language (ooc-lang.org)
Anthropomorphizing Programming Languages (lauradhamilton.com)
Consider the Nimrod Programming Language (geetduggal.wordpress.com)
Mercury is a logic/functional programming language (mercurylang.org)