hackett
WIP implementation of a Haskell-like Lisp in Racket (by lexi-lambda)
pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen (by the-little-typer)
hackett | pie | |
---|---|---|
15 | 10 | |
1,140 | 671 | |
- | 0.4% | |
0.0 | 10.0 | |
over 3 years ago | almost 3 years ago | |
Racket | Racket | |
ISC License | GNU Affero General Public License v3.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hackett
Posts with mentions or reviews of hackett.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-07-12.
-
Is there a type-theoretical difference between generics and compile-time metaprogramming?
I am not super knowledgeable about this, but I think you might find Type Systems as Macros interesting. There is also the in-development language Hackett which uses the approach described in the paper to unify Racket style macros with a Haskell style type system.
- Hackett is a statically typed, pure, lazy, functional programming language in the Racket language ecosystem
-
Rebuilding Emacs from scratch. What would you do differently?
I agree. I've been searching for solutions for a while. A few choices: - Common Lisp Coalton, very similar to Haskell. - Hackett, a Haskell-like DSL implemented in Racket. Licensing would be an issue, so it would have to be ported to Guile Scheme if you want to build an Emacs out of it. This is not easy since it takes advantage of several Racket-specific language features. - Shen, which can be built on top of Common Lisp, Scheme, Racket, or even Emacs Lisp. The drawback is that it is a fairly cryptic language, and extending foreign language bindings is not well documented. You would basically have to program the entirety of Emacs from scratch - PreScheme is a statically-typed (Hindley-Milner family) subset of Scheme that compiles to C. Originally written to build the Scheme-48 compiler, it is being ported to Guile. Not production read yet. - Zile is an editor engine built on Guile 2.0. But there is no static typing or algebraic data types, it is simply a replacement for Emacs written in Scheme from the ground-up. It needs to be ported to Guile 3.0. Guile 3 has an Emacs Lisp interpreter built-in, but it needs to be developed further before it could run more popular Emacs Lisp applications like Org-Mode or Magit.
-
Asked ChatGPT to explain Haskell to me in the style of Edgar Allan Poe, and the answer was beautiful.
Meh. As my final part in this exchange I will leave this here, conclusion are left to the reader: https://lexi-lambda.github.io/hackett/
-
is there an alternative to template haskell?
My dream is something like Hackett, but alas, Alexis didn't have time to continue it. Someday ...
- What are the design principles of raco and the Racket ecosystem?
-
Is there any way to use typed racket and lazy racket together?
The documentation says it does: https://lexi-lambda.github.io/hackett/
-
Unpopular opinion: actually, Emacs does fulfill the tenets of the UNIX philosophy
But we can always import Coalton, or Hackett, or miniKanren into our Lisp program if we need it.
-
Honest question: why is Haskell not a lisp / built on s-expressions?
This doesn't really answer your question but you may be interested in checking out https://lexi-lambda.github.io/hackett/ by u/lexilambda.
-
How do you typecheck a macro?
Extremely difficult, but you can do some cool stuff with macros if you do it. Have a look at Alexis King's "Hackett" language for a cool example: https://lexi-lambda.github.io/hackett/
pie
Posts with mentions or reviews of pie.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-13.
-
Can DSLs in Racket be its own language?
Pie, a dependently typed language for learning dependently typed programming
-
is CS an engineering practice?
The computer scientists who are figuring these things out are constructing the tools that software engineers need; just like the mathematicians who developed calculus and the physicists who extended Newtonian mechanics into something engineers can apply. Just as an engineer's tools and materials are calculus and physics (not hammers or concrete and steel), a software engineer's tools and materials are proof-assistants, category theory, linear polarized logic, and dependent type theory (not the Rust programming language or the UNIX platform).
-
Carp – a statically typed, non-GC Lisp language
That's basically this[0] book, is it not?
[0] https://thelittletyper.com
-
Is Lisp particularly suitable for sole developer or small teams?
I really should read https://thelittletyper.com/
- The Little Typer – The Beauty of Dependent Type Systems, One Step at a Time
-
RacketCon 2022
It lets you create languages like Pie which is designed to teach others about dependent types:
https://thelittletyper.com/
-
Honest question: why is Haskell not a lisp / built on s-expressions?
Yep, this is one possibility - an example is the language pie from the book The Little Typer. But my claim was not that there are no expressions for types, just that declarations aren't expressions.
What are some alternatives?
When comparing hackett and pie you can also consider the following projects:
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Summer2022 - Lang Party 2022
blisp - A statically typed Lisp like scripting programming language for Rust.
anarki - Community-managed fork of the Arc dialect of Lisp; for commit privileges submit a pull request.
rakudo - 🦋 Rakudo – Raku on MoarVM, JVM, and JS
minipascal - MiniPascal implemented in Racket
unseemly - Macros have types!
ATS-Postiats - ATS2: Unleashing the Potentials of Types and Templates
grtcdr
SPLV20 - SPLV20 course notes
klister - an implementation of stuck macros
structured-haskell-mode - Structured editing minor mode for Haskell in Emacs