hackett

hackett copied to clipboard

Unfortunately, Hackett doesn't seem to work with Racket's two of latest major versions. To keep the project accessible to those who are interested, I've specified required Racket version and added...

Mr-Andersen

Current Status

2

Hi @lexi-lambda, I just wanted to know the current development status of `hackett`? I just wanted to know if development has basically stopped completely?

arunvickram

Hi Alexis, Please add the `racket` topic to this repo - I think others will be interested and this will help them find it at https://github.com/topics/racket the Haskell topic may...

spdegabrielle

Added logo

4

Not sure if you'll like this or not, but I simply couldn't resist ;-) Viewable here: * https://github.com/haskell-lisp/hackett/tree/add-logo If approved, I can change the links for the images to what...

oubiwann

Side note: I was up until 2am last night reading through all the docs and came across this in the process. The reason for this was not diligence or any...

oubiwann

Auto-derived Show instance not terminating

2

Running this program (or just running `(show q)` in a REPL) never terminates. ```racket #lang hackett (data (Cons a b) Nil (Cons a (Cons b a)) #:deriving [Show]) (def q...

fiddlerwoaroof

Infinite loop while resolving instances

3

Running a program where deriving instances produces a cycle gets into an infinite loop. Here the `(C (List Integer))` instance produces the subgoal `(C (Tuple Integer (List Integer)))`, which produces...

AlexKnauth

Internal error when typechecking malformed `forall` clause

3

Here’s a function with more than one constraint, that typechecks fine: ```racket (defn show-equal : (forall [s] (Show s) (Eq s) => {s -> s -> Bool}) [[a b] {...

patrickt

Proposal: a macro DSL based on bidirectional type checking

2

Hackett's goal has always been for "[types and macros to be able to cooperate and communicate with each other](https://lexi-lambda.github.io/blog/2017/01/02/rascal-a-haskell-with-more-parentheses/#fusing-haskell-and-racket)". Today, however, Hackett macros are written using `syntax-parse`'s DSL, which makes...

gelisam

scribble/manual

1

Hi I just read and it reminded me that Hackett has `scribble/manual` folders and now that I have Hackett installed `raco setup scribble` takes longer. Please consider changing `hackett-doc/scribble/manual/` to...

bennn