search

coalton-lang / coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
https://coalton-lang.github.io/
MIT License
1.12k stars 67 forks source link

make a simple Coalton REPL for experimentation #726

Open stylewarning opened 2 years ago

stylewarning commented 2 years ago

Using Coalton by way of 

(coalton-toplevel ...)

and 

(coalton ...)

is a little annoying in the REPL. The experience could be improved:

  1. We could print the derived type of a resulting value
  2. We could eliminate the need to write coalton[-toplevel
  3. We could print things without having to follow ordinary Lisp semantics

I would see such a tool as educational/exploratory, at least initially, not something we ought to (currently) put in tons of effort to improve and make Production Ready.

I am not suggesting people shouldn't use Coalton from a Lisp REPL. I think it's valuable, but for a different purpose, namely programming larger programs.

Jobhdez commented 1 year ago

hello you all. Is this issue still open or what happened to @blackeuler's attempt? his pr is closed. what was wrong with it?

stylewarning commented 1 year ago

The issue is still open. The REPL wasn't quite working or finished, IIRC.

blackeuler commented 1 year ago

Yeah, started and realized that i didn't quite know what i was doing enough. Id still be interested in working on this. I think my lisp has gotten a lot better since then

On Wed, Apr 12, 2023 at 10:21 PM Robert Smith @.***> wrote:

The issue is still open. The REPL wasn't quite working or finished, IIRC.

— Reply to this email directly, view it on GitHub https://github.com/coalton-lang/coalton/issues/726#issuecomment-1506232454, or unsubscribe https://github.com/notifications/unsubscribe-auth/AGLVXRVGAVOFIG3FLGHW75TXA5PJRANCNFSM577E57ZA . You are receiving this because you were mentioned.Message ID: @.***>