[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Interested in Pioneer Projects


These seem like pretty easy things to bite off. Iâll take a deeper look and am happy to forward questions to you.


This seems like a somewhat larger project, but Iâm certainly interested in doing some compiler/type design. Iâm still not sure I yet understand WebIDL, though. The resources I was able to find were quite dense and I havenât had the time to sit down and really dig in.

Iâd be interested in reading some use cases if you have them or any recommended reading on WebIDL itself. Other example projects would be valuable to examine as well.

Sent from Mailbox

On Wed, Apr 1, 2015 at 4:07 AM, David Sheets <sheets@xxxxxxxxxxxx> wrote:

On Wed, Apr 1, 2015 at 12:25 AM, Joseph Abrahamson
<joseph@xxxxxxxxxxxxxxx> wrote:
> Hello MirageOS-devel,
> Iâm interested in learning more about contributing to some pioneer projects.
> In particular, there are several projects which I wouldnât mind taking a
> deeper look at:
> * deflate: Iâm interested in streaming algorithms in OCaml generally.
> * WebIDL: Iâm very interested in doing front-end work in js_of_ocaml, though
> I have no familiarity with WebIDL and am a little unsure of the purpose
> here.

The purpose of the WebIDL project is to be able to consume browser API
specifications directly from "standards".

On top of this, js_of_ocaml manual or generated bindings can be
written. Integration with generators like goji
<https://github.com/klakplok/goji> might be a good idea.

The basic task is just writing a parser for WebIDL and designing the
appropriate types to manipulate WebIDL in OCaml. Several browsers
consume WebIDL and merge it with local annotations to produce C++
interfaces to be fulfilled -- we'd like to meet them at the specified
interface and directly consume their typed specification.

If the person who takes this project is familiar with compilers, type
design, parsing and so on, it shouldn't be hard at all. The difficulty
in the work directly related to the amount of work and the pain of
validating it on a bunch of Web specs.

Hope that helps,


> * Syslogd: This seems like a simple enough project just to get my feet wet
> with unikernel development
> In addition the âsemantics of mergeable data-structuresâ is interesting,
> though the description was brief.
> Anyway, I donât claim to have an enormous amount of free time and am
> certainly more interested in just getting my feet wet a bit, but Iâd love to
> hear from some of the mentors related to each project and see if anything
> seems like it might be a reasonable fit for me. Perhaps the best option
> would be something with simple and fast payout that is of high value to the
> community. Iâm more than happy to do a little grunt work to learn from the
> best on how to do OCaml development.
> Cheers,
> Joseph Abrahamson
> â
> Sent from Mailbox
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.