Hackett - Programming language

Hackett is a programming language created in 2017 by Alexis King.

#845on PLDB	6Years Old	1.2kUsers
0Books	0Papers

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

Hackett website
Hackett is developed on GitHub and has 1,094 stars
Hackett first developed in https://github.com/lexi-lambda/hackett/issues
HTML of this page generated by LanguagePage.ts

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"])])