Comments on York Haskell Compiler: Crazy Ideas

Since Haskell is sometimes calleda strongly type L...

2005-12-31T17:25:00.000Z

Since Haskell is sometimes called
a strongly type Lisp, and Yhc has
mobile byte code, what do you think
about the idea of writing Treemacs
in Yhc. Treemacs would have a slightly different metaphor than
emacs. Basically it would be a
two pane application like Windows
Explorer with a tree in the left
pane. The selected node in the tree
would be rendered with its associated
editor in the right pane. You would
script this environment in Yhc and
it could chew on Yhc byte code libraries. Both the tree and editor panes could
have plug-ins written in yhc, the default plugins being a file system
browser for the tree pane and a text editor for its associated window pane. Normally the tree pane is
hidden and an emacs emulation mode
could be used. It may be interesting to write this instead
on top of a Mozilla frameworks embedding the Yhc interpreter into
this Treemacs application which could then be called either Treemacs
or perhaps a "business browser".
There is a lot more to this concept
than I'm describing here. Is this
crazy or doesn't it sound interesting?

HsNub sounds like a stunning idea, except that it ...

2005-12-31T15:28:00.000Z

HsNub sounds like a stunning idea, except that it would rely on remarkable consistency in the code generation... I guess you could make it better by allowing certain swaps in instruction order etc.

One thing I wonder is if you might end up picking out things like "this specific specialization of your function could be a specialization of a prelude function instead" or things of this like... Which would just be plain irritating.

Bob

The biggest difference between the runtimes is tha...

2005-12-29T16:18:00.000Z

The biggest difference between the runtimes is that Haskell is lazy and Caml is strict - that makes for a very different bytecode format - not to say it couldn't be done, but the interoperability with libraries etc. might be a bit limited.

A better approach would be a Haskell -> O'Caml convertor, which I know someone is working on. That would give perfect library useage between the two.

is it easy enough to write yhc bytecode to caml an...

2005-12-27T22:00:00.000Z

is it easy enough to write yhc bytecode to caml and vice versa translator?
as far as i know caml has a very good bytecode runtime and a lot of good libraries.
I'm not familiar enough with both formats but the whole idea seems ... such translator and consequently yhc <-> caml interoperability would be a bomb.

Certainly possible - I guess a bytecode convertor ...

2005-12-27T11:44:00.000Z

Certainly possible - I guess a bytecode convertor could be written for any bytecode which is turing complete, which I guess is pretty much all of them.

Want to volunteer? :)

How about a translator to Flash ActionScript bytec...

2005-12-27T00:51:00.000Z

How about a translator to Flash ActionScript bytecode ?