hackett
seed7
hackett | seed7 | |
---|---|---|
15 | 41 | |
1,140 | 183 | |
- | - | |
0.0 | 9.8 | |
over 3 years ago | 3 days ago | |
Racket | C | |
ISC License | GNU General Public License v3.0 only |
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
-
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/
seed7
-
Seed7 version 2023-07-09 released on GitHub and SF
This release is available at GitHub and SF. There is also a Seed7 installer for windows, which downloads the newest version from SF. The Seed7 Homepage stays at its usual place. There is also a mirror of the Seed7 Homepage at GitHub.
-
Version 2023-05-29 of the Seed7 programming language released on GitHub and SF
Seed7 at GitHub
-
Build from source issue
bugmagnet@LAPTOP-H6HBEGA9:~$ git clone https://github.com/ThomasMertes/seed7 Cloning into 'seed7'... remote: Enumerating objects: 21021, done. remote: Counting objects: 100% (4660/4660), done. remote: Compressing objects: 100% (1118/1118), done. remote: Total 21021 (delta 3677), reused 4454 (delta 3515), pack-reused 16361 Receiving objects: 100% (21021/21021), 15.95 MiB | 6.47 MiB/s, done. Resolving deltas: 100% (18593/18593), done. bugmagnet@LAPTOP-H6HBEGA9:~$ cd seed7 bugmagnet@LAPTOP-H6HBEGA9:~/seed7$ make -f src/mk_linux.mak depend make: *** No rule to make target 'chkccomp.c', needed by 'chkccomp'. Stop.
-
Seed7 version 2023-04-22 released on GitHub and SF
No. You can see at GitHub that I update Seed7 quite often. Approximately once a month I do a release and this release is announced at r/seed7 and here.
-
Question about installation
The packages are not updated so often. So you are more up-to-date with the releases (or even more up-to-date by pulling from GitHub).
-
Exercism related questions
I committed a corresponding change to GitHub (Support syntax statements without $ (dollar)).
-
Seed7 version 2023-03-05 released on GitHub and SF
This release is available at GitHub and SF. There is also a Seed7 installer for windows, which downloads the newest version from SF. The Seed7 Homepage stays at its usual place. There is also a mirror of the Seed7 Homepage which uses HTTPS.
-
Have you heard about the Seed7 programming language?
Yes, I am regularly working on improvements for Seed7. The changes are checked in at GitHub (see here for the list of commits) and once a month I do a release which is announced at r/seed7.
-
Core-js maintainer complains open source is broken
It all depends on the circumstances behind. In the beginning the core-js maintainer had no family and now he has. When I released Seed7 I already had a family. It was clear that my job had to support my family and my hobby (GitHub link).
-
Seed7 version 2022-06-26 released on GitHub and SF
Syntax highlighting for the Nano editor has been added. Many thanks to Duke Normandin for creating seed7.nanorc.
What are some alternatives?
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
xvm - Ecstasy and XVM
blisp - A statically typed Lisp like scripting programming language for Rust.
ghc - Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
rakudo - 🦋 Rakudo – Raku on MoarVM, JVM, and JS
sbcl - Mirror of Steel Bank Common Lisp (SBCL)'s official repository
unseemly - Macros have types!
passerine - A small extensible programming language designed for concise expression with little code.
grtcdr
PyBasic - Simple interactive BASIC interpreter written in Python
klister - an implementation of stuck macros
carnet - A Tool for Sandboxing Cargo and Buildscripts