forest-lang / forest-compiler Goto Github PK

< and > would be nice.

For now, it would be nice if you could do forest build x and forest format x.

Hi,

I just wanted to mention https://isomorf.io which has a multiple syntax representations and ADTs although from what I can tell they’re targeting jvm

String is 😿 , Text all the way!

Hi,

I just came across forst-lang as I was exploring some of my own programming language ideas. Idea of decoupling syntax choice from from language choice especially resonates with me, at the end of the day it's not more important that choice of an editor or pallet for syntax highlighting. In fact John McCarthy envisioned Lisp as such and expected different representation could have being used based on domain of the problem program would be aimed to solve. Sadly that vision did not materialized.

Another angle at which I have being thinking about this is of a language where modules could directly be saved / hosted in content addressable distributed network like https://ipfs.io/ from that angle it would make so much sense for language representation to be agnostic of spacing or definition order to make content addressing free of human factors like sense of esthetics. For example unfortunately exactly same JSON data could end up having different content address depending on how it was formatted or sorted.

In my own exploration I end up concluding that choosing binary representation over textual would organically make syntax a user choice and alternative presentation of it could be created. I thought I throw this out here especially since concept of forst-lang seems to align closely with my what I'd like from the language.

https://github.com/forest-lang/core/blob/master/app/Main.hs#L8

This function is provided by https://www.stackage.org/package/safe

forest repl would be pretty cool to have.