Liskell – Haskell Semantics with Lisp Syntax [pdf]

(clemens.endorphin.org)

54 points | by todsacerdoti 23 hours ago

5 comments

  • vindarel 41 minutes ago
    The other way round, a Haskell on top of a Lisp, in production today: https://github.com/coalton-lang/coalton/

    > Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

    Presentation this year on the ELS: https://www.youtube.com/watch?v=of92m4XNgrM

  • EricRiese 1 hour ago
    There's also Hackett: Haskell with Racket's syntax and macro system, by Alexis King
  • srott 41 minutes ago
    How does it compare to Shen?

    https://shenlanguage.org

    • adastra22 17 minutes ago
      Kinda hard to tell when I can’t find a single example of the language on its website.
  • bjoli 1 hour ago
    I will prempt the comment that always shows up in discussions of this kind:

    No. Typeclasses do not replace proper macros. Go home, you are drunk.

    • BalinKing 29 minutes ago
      FWIW the argument I've usually heard is that laziness largely obviates macros. Personally, I agree that this is often true—but not always, and that last bit is where Lisp-style macros would be really nice.
      • jasbrg 5 minutes ago
        do you know of a post or something you could point to that elaborates that argument? interested because I'm having trouble coming up with the line of reasoning on my own
  • fithisux 55 minutes ago
    It is time for Rusted !!!

    Rust semantics with D syntax (garbage collector is a bonus).

    • Xophmeister 45 minutes ago
      Didn’t D get an ownership model, a la Rust’s affine types, relatively recently?