Top 1,000 Features Creators Events Podcasts Extensions Blog Explorer CSV Download

Hackett

< >

Hackett is an open source programming language created in 2017 by Alexis King.

#575on PLDB 7Years Old
Download source code:
git clone https://github.com/lexi-lambda/hackett

Hackett is an attempt to implement a Haskell-like language with support for Racket鈥檚 macro system, built using the techniques described in the paper Type Systems as Macros.


Example from the web:
#lang hackett (data (Maybe a) Nothing (Just a)) (def x : Integer (let ([y 3] [z 7]) {y + z})) (class (Show a) [show : {a -> String}]) (instance (forall [a] (Show a) => (Show (Maybe a))) [show (位* [[(Just x)] {"(Just " ++ (show x) ++ ")"}] [[Nothing ] "Nothing"])])

View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll