Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Apologies for being mistaken about type inference, and thanks for correcting me. Is this a recent addition, or was it present when first released?

My own dataflow language is described here: http://www.fmjlang.co.uk/fmj/tutorials/TOC.html

The pages are incomplete as I've since added new functionality to the language. I'm working alone, and have other commitments, so progress is quite slow. It's a research project, and I'm not planning any release until I'm happy with the language, and enough other people are sufficiently interested.

For iteration and conditional statements, FMJ doesn't require any separate constructs or use syntactic sugar. Iteration is done by feedback, when and unless by conditionally outputting other inputs depending on the value of the first input.

My aim was to build a language capable of running directly on hypothetical dataflow hardware, with the minimum of syntactic sugar, and I've mostly achieved that. I'm now looking at problems for which dataflow machines would be better suited for than conventional hardware, and by implication that dataflow languages are better suited for than conventional languages. I'm also looking for ways of reducing clutter (edges crossing), which is a problem with graphical languages.

Regarding directed graphs as a fundamental data type, I haven't done much in that regard yet, but it's high on my list of priorities.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: