Ada's dependent types, and its types as a whole (nytpu.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of nytpu.com: Ada's dependent types, and its types as a whole

First screen, captured 1 year ago.

Looks similar

Screenshot of blog.sulami.xyz: What Is Type-Level Programming?

What Is Type-Level Programming?(blog.sulami.xyz)

54 points by bo0tzz 3 years ago | 45 comments

Screenshot of jonmsterling.com: Dependent Types: Universes, or types of types

Dependent Types: Universes, or types of types (jonmsterling.com)

28 points by matt_d 1 year ago | 0 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 andrevidela.com: Binding Application in Idris

Binding Application in Idris (andrevidela.com)

66 points by matt_d 1 year ago | 3 comments

Screenshot of en.wikipedia.org: Aspect-Oriented Programming

Aspect-Oriented Programming (en.wikipedia.org)

70 points by alraj 3 years ago | 57 comments

Screenshot of nesbitt.io: How dependabot works

How dependabot works (nesbitt.io)

57 points by zdw 9 months ago | 11 comments