[dead]
Liskell – Haskell Semantics with Lisp Syntax [pdf]
21–27 of 27 posts
Re: Liskell – Haskell Semantics with Lisp Syntax [pdf]
#22The 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
I'm not sure I'd say this is "the other way around"; Coalton strives to implement Haskell or ML-adjacent semantics (in the type system, for example) with Lisp syntax. "With" here meaning that it is both implemented in and written with Lisp syntax. Edit: I think I see what you mean now. Lisp backend vs Haskell backend. Anyway, Coalton is a joy to use and IMO a breath of fresh air in CL. It's quite easy start using as…
>Coalton strives to implement Haskell or ML-adjacent semantics (in the type system, for example) with Lisp syntax. "With" here meaning that it is both implemented in and written with Lisp syntax.
Not exactly. Coalton brings ML-style strong typing to Common Lisp. But Coalton code is also Lisp code.
The backend, thus, is Common Lisp, and it is available at all times, thus leveraging all its power.
Re: Liskell – Haskell Semantics with Lisp Syntax [pdf]
#23I was told Lisp didn’t have syntax.
It has minimal, very regular, syntax.
Which is a strength in some aspects, and, although many lispers will never admit it, a weakness in others.
Re: Liskell – Haskell Semantics with Lisp Syntax [pdf]
#24It is time for Rusted !!! Rust semantics with D syntax (garbage collector is a bonus).
Didn’t D get an ownership model, a la Rust’s affine types, relatively recently?
I don't think so, but they are working towards it.
The big news is that this will cover the GC cases too, not only the manual memory management.
Re: Liskell – Haskell Semantics with Lisp Syntax [pdf]
#25How does it compare to Shen? https://shenlanguage.org
Kinda hard to tell when I can’t find a single example of the language on its website.
really, I did't realize there was no link
Re: Liskell – Haskell Semantics with Lisp Syntax [pdf]
#26Earlier quoted context omitted.
Kinda hard to tell when I can’t find a single example of the language on its website.
really, I did't realize there was no link https://shen-language.github.io
Ok well that at least has examples of the syntax. But not a single example of actually using the language to do anything. That is, no examples of actual code.
It took a while to click through a link to an actual implementation on github, which had some test examples. None of which were documented.
So idk? I'm not going to buy the ebook for $41 to find out.
So to answer your original question: Liskell, despite being 13 years old and unmaintained, does actually have an accessible document that _explains what it is_.
Re: Liskell – Haskell Semantics with Lisp Syntax [pdf]
#27Earlier quoted context omitted.
I'm not sure I'd say this is "the other way around"; Coalton strives to implement Haskell or ML-adjacent semantics (in the type system, for example) with Lisp syntax. "With" here meaning that it is both implemented in and written with Lisp syntax. Edit: I think I see what you mean now. Lisp backend vs Haskell backend. Anyway, Coalton is a joy to use and IMO a breath of fresh air in CL. It's quite easy start using as…
>Coalton strives to implement Haskell or ML-adjacent semantics (in the type system, for example) with Lisp syntax. "With" here meaning that it is both implemented in and written with Lisp syntax. Not exactly. Coalton brings ML-style strong typing to Common Lisp. But Coalton code is also Lisp code. The backend, thus, is Common Lisp, and it is available at all times, thus leveraging all its power.
I think I meant the same thing, but you said it much more clearly, thanks!