Hacker GitHub

← All repos

lexi-lambda/hackett

View on GitHub ↗ ★ 1,205 Racket

WIP implementation of a Haskell-like Lisp in Racket

23 mentions on Hacker News by 20 people: 2 stories, 21 comments · first 2017-04-22 · latest 2025-12-16

Mentions per year 23 mentions · busiest year 2018 (6)
20082026
AllStoriesComments NewestTopOldest
  1. To save folks a search: github repo: https://github.com/lexi-lambda/hackett Documentation: https://lexi-lambda.github.io/hackett/
    comment by privong · 2025-12-16 · in Liskell – Haskell Semantics with Lisp Syntax [pdf]
  2. …"type-aware" and "type-directed" macros [2]). Development unfortunately ceased ~7 years ago. [1] https://github.com/lexi-lambda/hackett [2] I think this video has a good discussion of Lisp, macros, and static types, from the perspective of…
    comment by reikonomusha · 2025-08-13 · in Coalton Playground: Type-Safe Lisp in the Browser
  3. …3. https://github.com/ShawSumma/lure 4. https://github.com/racket/rhombus-prototype 5. https://github.com/lexi-lambda/hackett
    comment by Decabytes · 2022-02-26 · in So you want to design a programming language (2017)
  4. Here's a Lisp that's statically typed with macros: https://github.com/lexi-lambda/hackett
    comment by dharmaturtle · 2021-06-28 · in BLisp: A Statically Typed Lisp Like Language
  5. Hackett: https://github.com/lexi-lambda/hackett Based on this paper: http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf
    comment by zeckalpha · 2021-01-02 · in ToriLisp – an ersatz Lisp for tiny birds
  6. …[1] https://racket-lang.org/ [2] https://docs.racket-lang.org/datalog/datalog.html?q=datalog [3] https://github.com/lexi-lambda/hackett [4] https://docs.racket-lang.org/profj/ [5] https://beautifulracket.com/appendix/why-lop-why-racket.html
    comment by ywei3410 · 2020-11-24 · in Multi-Paradigm Languages
  7. …it and surprised by it for the rest of my life. [1] https://wiki.haskell.org/Haskell_Lisp [2] https://github.com/lexi-lambda/hackett [3] https://axellang.github.io/
    comment by reirob · 2020-09-28 · in Things I Was Wrong About: Types
  8. there's [Hackett]( https://github.com/lexi-lambda/hackett ) though it's more an implementation of haskell within racket
    comment by uryga · 2019-09-08 · in Why Haskell Is Important
  9. https://github.com/lexi-lambda/hackett Under active development, still WIP
    comment by platz · 2019-09-08 · in Why Haskell Is Important
  10. To save others a search: Haskell-like Lisp in Racket https://github.com/lexi-lambda/hackett
    comment by lioeters · 2019-08-14 · in Ask HN: Why is everyone here so obsessed with Lisp?
  11. I dunno, given https://github.com/lexi-lambda/hackett/issues/98#issuecommen... (saw this when it was sent initially because watching the repo). Knowing one's limits is not necessarily imposter syndrome. If I were to acquire the knowledge…
    comment by JoelMcCracken · 2019-07-12 · in Racket Is an Acceptable Python
  12. …which is attempting to give you the best of both worlds of Lisp's macros and Haskell's types. https://github.com/lexi-lambda/hackett
    comment by lalaithion · 2018-10-17 · in How Lisp Became God's Own Programming Language
  13. …been under active development for some time. Based around a paper, Type Systems as Macros [1] [0] https://github.com/lexi-lambda/hackett [1] http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf
    comment by shakna · 2018-08-26 · in BuBBLE: A Lisp Dialect DSL Written in Haskell
  14. Or, you could go with Hackett, which is a Haskell-like language implemented in Racket: https://github.com/lexi-lambda/hackett
    comment by fiddlerwoaroof · 2018-07-16 · in Lisp and Haskell (2017)
  15. Those interested in both should check out Hackett: https://github.com/lexi-lambda/hackett Whilst not “finished”, what she’s done here is incredible. It’s an implementation of Haskell semantics as Racket macros.
    comment by moomin · 2018-07-15 · in Lisp and Haskell (2017)
  16. There’s also Hackett which provides a Haskell-style type system: https://github.com/lexi-lambda/hackett
    comment by fiddlerwoaroof · 2018-04-13 · in Carp: A statically typed Lisp, without a GC, for real-time applications
  17. https://github.com/lexi-lambda/hackett https://lexi-lambda.github.io/blog/2017/05/27/realizing-hack...
    comment by platz · 2017-10-27 · in Alan Kay on Lisp
  18. Hackett ( https://github.com/lexi-lambda/hackett ) seems like an interesting project in this regard.
    comment by jdeisenberg · 2017-10-17 · in Is Haskell the right language for teaching functional programming principles?
  19. …better. Hackett[1] is a Haskell-like lang built on top of racket, for a nontrivial example. [1] https://github.com/lexi-lambda/hackett
    comment by notjack · 2017-08-01 · in Release Announcement for Racket 6.10
  20. …of my interest stems from this excellent project in Racket that's shaping up to be quite something: https://github.com/lexi-lambda/hackett It uses the "type systems as macros" paper's approach to create a Haskell-like language in Racket.…
    comment by mrkgnao · 2017-05-20 · in So You Want to Write Your Own Language (2014)
  21. Someone's working on something like that already https://github.com/lexi-lambda/hackett
    comment by nonsince · 2017-04-22 · in Type Systems as Macros