Hi, Does anyone know when the Haskell support will be released in public? In the Language support section of https://wiki.sel4.systems/Suggested%20projects is says that it will be released in the near future, but the page was last edited on June 2016. I propose that the language section also contains links to where the source can be found. 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. /Jonas
Sent from [ProtonMail](https://protonmail.com), Swiss-based encrypted email.
Hi Jonas,
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 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 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?
Cheers, Gerwin
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%5D(https://wiki.sel4.systems/... 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
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.
Alright, I’ll have another go at investigating the release path, this time for the unfinished version. I hope I can at least pin down for what configurations it was supposed to work.
Cheers, Gerwin
-
Gerwin.Klein＠data61.csiro.au -
jonas.cl＠protonmail.com