Explore

Composability: Designing a Visual Programming Language — John Austin

johnaustin.io

1

Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language

hirrolot.github.io

1

Coroutines and effects

without.boats

2

The origin and virtues of semicolons in programming languages | nicole@web

ntietz.com

2

Inko 0.14.0 released

inko-lang.org

1

Lambda to SKI, semantically

okmij.org

1

If Inheritance is so bad, why does everyone use it?

buttondown.email

2

OR-types

liquidex.house

last night I couldn't fall asleep because I was thinking how sites like Anilist implement their...

1

Chapel 2.0: Scalable and Productive Computing for All

chapel-lang.org

2

XXIIVV — modal

xxiivv.com

2

43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties (2016)

vub.ac.be

The Actor Model is a message passing concurrency model that was originally proposed by Hewitt et...

1

Type Inference Was a Mistake

borretti.me

2

jank development update - Syntax quoting!

jank-lang.org

Oh, hey folks. I was just wrapping up this macro I was writing. One moment.(defmacro if-some...

1

Why do (or don't) languages forbid unreachable code?

stackexchange.com

1

Fledgling Languages List - New and upcoming programming languages

presidentbeef.com

1

Reactive Programming without Functions

programming-journal.org

2

Learn Lil in 10 Minutes

beyondloom.com

1

The Montréal Effect: Why Programming Languages Need a Style Czar

Here is a non-realistic scenario: You are choosing the programming language for what will eventually become...

3

Abstracting Denotational Interpreters

arxiv.org

Abstracting Denotational Interpreters | Sebastian Graf, Simon Peyton Jones, Sven Keidel Abstract We explore denotational interpreters:...

1

Type Unions Don't Always Compose Well

rtpg.co

2

A visual introduction and software to Abstract Geometrical Computation and signal machines

univ-orleans.fr

Here are two examples of the dynamics of signals machines. The left one is a random...

1

GitHub - boothby/repiet: A compiler for the esoteric language Piet, targeting multiple backends.

github.com

1

The siren song of domain-specific languages

haskellforall.com

I’ve seen a lot of engineering teams mistakenly believe that they can author domain-specific languages for...

1

jank development update - Dynamic bindings and more!

jank-lang.org

1