Rark: A Racket language inspired by Arc

by zeeshanm • 11 years ago

43 12 11 years ago

istvan__• 11 years ago

Is there more information available on this one? I am not getting the concept of it...

soegaard3• 11 years ago

Judging from the code, the main idea is to implement the Arc (or Arc-like) language using the standard techniques used to implement new languages in Racket. This approach will make it easy to use the tools/infrastructure of Racket without any changes (correct highlighting, arrows between a variable and its binding, scope aware renaming of variables, profiler, etc.). The new language compiles via macro expansion to Racket which is then compiled and jitted as normal.

If I recall correct the original implementation of Arc was written as an interpreter - and thus the Racket set of tools are not available.

The main benefit is that the new language will run faster than standard Arc.

As a bonus it will be possible to use module written in Rark from Racket code - and use modules written in Racket in Rark modules.

sigzero• 11 years ago

That's pretty nifty.

stijlist• 11 years ago

If it's helpful, the original implementation of Arc was actually quite similar to this - a bunch of macros that compiled down to MzScheme (which eventually became PLT scheme, which eventually became Racket!).

akkartik• 11 years ago

A more developed variant with these goals, that got discussed a fair bit in the arc forum, is https://github.com/arclanguage/arc-nu. It hasn't received much kicking on wheels by anyone other than its author(s), though, so be prepared for some rough edges if you decide to try it out. In the long term I think it might be much nicer than the original prototype.

(Disclosure: I'm one of the owners of the https://github.com/arclanguage community. Also check out https://arclanguage.github.io, which is a more up-to-date statement of the Arc state of the world.)

jcr• 11 years ago

The Arc programming language [1] was created by Paul Graham (and Robert T. Morris). Arc was used to create the original "Startup News" site which eventually became "Hacker News". Kogir is one of the developers at Y Combinator that currently works on the HN code.

[1] http://arclanguage.org/

kogir2• 11 years ago

I wrote this when I started working on HN, though I've since left YC and no longer work on HN.

kogir2• 11 years ago

I wrote this when I started work on HN as a way to learn more about Racket and Arc, and in an attempt to get more useful results from Racket's sampling profiler.

I think I got about 80% of things working, but even then I had to make some undesirable compromises. It became clear it was a dead end and would never make sense to use for HN in production.

soegaard3• 11 years ago

That's interesting. Why was it a dead end?

Was it due to the (too dynamic) semantics of Arc?

Or perhaps you have too much code written in standard Arc to make infeasible to port?

baldfat• 11 years ago

I am also interested in your issues. I really have grown in my appreciation of Racket myself and looking to use it for some production work.

fnord123• 11 years ago

AFAIK, Arc is built on Racket already.

Rark: A Racket language inspired by Arc

Related Stories