Re: [Haskell-cafe] ideas for a phd in the area of paralleism?

2009-01-08 Thread nml
Hi,
check http://www.intellasys.net/index.php?option=com_content&task=view&id=35
  http://groups.google.com.tw/group/seaforth

That's a FORTH cpu I ever took a look one year ago when my professor
introduced it.
It has some very promising features as the above links claims.The most
impressive one for me is its mechanism of inter-core commuication.
Unfortunately(FORTH advocators may disagree), it seems to require
native FORTH programming and manual parallelism among the processor
arrary.
I wonder whether it's possible to implement a compiler with
parallelism capability(coordinate those cores) on it, especially for
functional languages.

Regards,
Mura
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


[Haskell-cafe] Moving the messages for compiler to another file?

2008-12-02 Thread nml
How about moving the messages for compiler to an additional file?

My motivation is that we often face a trade-off between
aesthetical(elegant code) and practical(efficient code).
Like pragmas and strictness annotations, I often feel they make the
source code ugly.
They don't affect the semantics of our programs, do they?

Some people would say this beautifying should be accomplished by an
editor, like hiding/showing option for those information.

But such separation has additional benefits.
For instance, making the source code more compiler-independent.
(yeah, this is not the case with language-extensions)
And we avoid dispersing those information among our lines. (or even files)
In some cases, it would be convenient.

I'm not sure if this idea is reasonable, reachable or just naive.
Suggestions?

Best regards
-nml
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe