Hi Gerwin,
>> Does anyone know when the Haskell support will be released in public?
>
> That's a good question. After a push some time ago that almost got it to
> release, GHC runtime on seL4 support has fallen into disrepair again, because
> the person who worked on it has left and there is nobody here who actually
> uses it, so it always gets bumped towards the end of the priority queue.
>
>> In the Language support section of
>> [https://wiki.sel4.systems/Suggested%20projects](https://wiki.sel4.systems/Suggested
>> projects) is says that it will be released in the near future, but the page
>> was last edited on June 2016.
>
> Yes, that's about when we were really optimistic about this one.
>
>> I propose that the language section also contains links to where the source
>> can be found.
>
> If there is strong interest, we could probably release the not-quite-working
> version (for an old version of GHC and an old version of seL4).
I come from the world of C, Java and those types of languages, and I really saw
that it was impossible to write something that was correct in them. So I prefer
not to stick my nose down to often in the mud of imperative programming :) I am
therefore quite interested in the Haskell version! I think that some people
have the same feeling as me. One of the reasons to write seL4 was, I presume,
to escape the patch cycle, partly that was accomplished through Haskell. Let's
not force people to write bad imperative code on something as good as seL4!
Generally I don't think it's a bad idea to release code that is "unfinished",
some open-source people even claim that that is better than fixing everything
before releasing. It makes it easier for people to get involved, I guess.
>> I am also writing since I am working on porting the sel4-tutorial to Idris,
>> which could be added to the list of languages, with a link to
>> https://github.com/mokshasoft/sel4-idris-manifest There is a long way to go
>> before it is finished, but if people want to help I accept patches.
>
> Yes, I think it would make sense to include Idris there (very cool to have
> that on seL4, btw!), even if it's not fully done yet. We're in the process of
> migrating the wiki to github pages to make it easier to contribute and change
> things, so I'm not quite clear myself on where/when that page should be
> edited. Kent or Kofi, could you give me a pointer?
I think that the Haskell port could be really useful for me when working on the
Idris port.
/Jonas
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
