A type system for RCL, part 2: The type system (ruudvanasseldonk.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of ruudvanasseldonk.com: A type system for RCL, part 2: The type system

First screen, captured 2 years ago.

Looks similar

Screenshot of ruudvanasseldonk.com: A reasonable configuration language

A reasonable configuration language (ruudvanasseldonk.com)

112 points by todsacerdoti 2 years ago | 65 comments

Screenshot of ruudvanasseldonk.com: A float walks into a gradual type system

A float walks into a gradual type system (ruudvanasseldonk.com)

20 points by ruuda 1 year ago | 3 comments

Screenshot of numbat.dev: Show HN: Numbat – A programming language with physical dimensions as types

Show HN: Numbat – A programming language with physical dimensions as types (numbat.dev)

107 points by sharkdp 2 years ago | 79 comments

Screenshot of ruudvanasseldonk.com: Abstraction, not syntax

Abstraction, not syntax (ruudvanasseldonk.com)

94 points by unripe_syntax 1 year ago | 51 comments

Screenshot of desislav.dev: Functional Programming with TypeScript's Type System

Functional Programming with TypeScript's Type System (desislav.dev)

74 points by evolveyourmind 3 years ago | 30 comments

Screenshot of panadestein.github.io: Scheming a mise-en-abîme in BQN

Scheming a mise-en-abîme in BQN (panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments