[–] gitgud 7y ago ↗ Lisp written in Haskell, sounds like a idealist's dream! [–] zitterbewegung 7y ago ↗ Typed racket is pretty close .https://github.com/racket/typed-racket [–] danidiaz 7y ago ↗ There's also a Haskell writen in Lisp (in Racket, to be exact) https://www.youtube.com/watch?v=g6UCeHiKodo [–] shakna 7y ago ↗ Just to add: Hackett [0] is a lispy Haskell that has 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
[–] danidiaz 7y ago ↗ There's also a Haskell writen in Lisp (in Racket, to be exact) https://www.youtube.com/watch?v=g6UCeHiKodo [–] shakna 7y ago ↗ Just to add: Hackett [0] is a lispy Haskell that has 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
[–] shakna 7y ago ↗ Just to add: Hackett [0] is a lispy Haskell that has 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
[–] mark_l_watson 7y ago ↗ Repo read me file referred to a documentation wiki, but I couldn’t find it. Any link for that? [–] CoderPuppy 7y ago ↗ There's some documentation on the Github wiki [0][0] https://github.com/Ninjacop/BuBBLE/wiki [–] mark_l_watson 7y ago ↗ Thanks! [–] Ninjacop123 7y ago ↗ Just updated the readme to link the Wiki - have fun!
[–] CoderPuppy 7y ago ↗ There's some documentation on the Github wiki [0][0] https://github.com/Ninjacop/BuBBLE/wiki [–] mark_l_watson 7y ago ↗ Thanks!
8 comments
[ 3.5 ms ] story [ 30.1 ms ] threadhttps://github.com/racket/typed-racket
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
[0] https://github.com/Ninjacop/BuBBLE/wiki