Nick;
If you’ve managed to get all the way to this message, there’s a bit of Haskell history you should know about:
- The next 700 programming languages, Peter Landin (1966)
It introduced the language called ISWIM (“If you See What I Mean” ), which to my current knowledge has two novel characteristics:
-
It was never actually implemented;
-
Most, if not all current non-strict functional language have been influenced in some way by its ideas.
You could say a concept had a role in the origin of Haskell :-)
Now that you’ve published your concept, I now recommend that you look at what novel research has already happened:
-
to see if any parts of your concept have already been attempted, so as to avoid duplicated effort;
-
and to see if that prior work can be used for its implementation.
A case in point: twenty years ago, the only place you may have found any articles about OSs written in non-strict functional languages would probably have been at the nearest university’s library:
-
Now at least two of the KAOS (Kent Applicative Operating System) papers are freely available online to read:
-
The earlier research on such systems is similarly being released e.g:
If you’re now wondering:
-
yes, there is House and subsequently Lighthouse, both being small OSes involving Haskell.
-
and yes, there’s other novel work which is largely unrelated to OSs
:-D
So go see what’s out there!