Hacker News new | comments | show | ask | jobs | submit login
Cloud Haskell on Raspberry Pi (alenribic.com)
39 points by dons 1776 days ago | hide | past | web | 8 comments | favorite

Another idea: port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - https://github.com/GaloisInc/HaLVM

That's a really interesting idea considering the limited resources of the device.

Thank's for the suggestion; I'll check out the HaLVM site once it comes back up.

Alen (author of the post)

halvm.org seems to be down (http://isitup.org/halvm.org). However, there is a summary here[1] and the source is on GitHub[2].

[1]: http://corp.galois.com/halvm/ [2]: https://github.com/GaloisInc/HaLVM

Ah yes, it has moved to github now

Wouldn't that require Xen on ARM? Is Xen already available on the Raspberry Pi? How performant is it?

I do really like the idea though!

In the current form, yes HaLVM requires Xen, therefore Xen on ARM support would be required too.

Xen on ARM [1] support is ongoing and from what I can tell, the repository [2] is flagged as unstable therefore certainly still requiring work.

[Edit] RaspberryPi has an ARMv6 CPU. The Xen site reads: "The Xen ARM Project, led by Samsung, is responsible for the direct port of the Xen hypervisor to the ARM processor. So far the focus of the project has been to use Xen Paravirtualization (PV) for a range of processors (ARM v5 - v7).".

This means that it should cover ARMv6 of course. As for the status, I have no idea.

[1] http://xen.org/products/xen_arm.html

[2] http://xenbits.xen.org/ext/arm/xen-unstable.hg/

That's an interesting use case for Raspberry Pi. My team loves to play around with them. In fact we are about to launch an Open Source OS for it (the current Raspbian OS is weak at best). We're also testing various serially chained variations as well.

Bottom-line. It's really cool to see what this little thing is doing as far as innovation in the market.

I'm interested in hearing more about this RPi OS. Would you mind sharing? So as not to take the thread too far off course: my email is in my profile.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact