Implementing a functional language with graph reduction (2021) (thma.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of thma.github.io: Implementing a functional language with graph reduction (2021)

First screen, captured 1 year ago.

Looks similar

Screenshot of lambdaland.org: Boilerplate busting in functional languages

Boilerplate busting in functional languages (lambdaland.org)

25 points by ashton314 2 years ago | 11 comments

Screenshot of koka-lang.github.io: Koka: Strongly typed functional-style language with effect types and handlers

Koka: Strongly typed functional-style language with effect types and handlers (koka-lang.github.io)

187 points by nateb2022 2 years ago | 56 comments

Screenshot of franklin.dyer.me: A Curried Composition Puzzle

A Curried Composition Puzzle (franklin.dyer.me)

83 points by 082349872349872 2 years ago | 11 comments

Screenshot of danieljharvey.github.io: Compiling a Functional Language to LLVM (2023)

Compiling a Functional Language to LLVM (2023)(danieljharvey.github.io)

54 points by PaulHoule 1 year ago | 0 comments

Screenshot of uecker.codeberg.page: Implementation of GCC's Nested Functions (vs. C++ Lambdas)

Implementation of GCC's Nested Functions (vs. C++ Lambdas)(uecker.codeberg.page)

68 points by uecker 1 month ago | 11 comments

Screenshot of hirrolot.github.io: How to keep lambda calculus simple

How to keep lambda calculus simple (hirrolot.github.io)

92 points by azhenley 3 years ago | 33 comments