Thomas,



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




David,




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 <[email protected]> wrote:

> On Wed, Apr 1, 2015 at 12:25 AM, Joseph Abrahamson
> <[email protected]> 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,
> David
>> * 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
>> [email protected]
>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
>>
_______________________________________________
MirageOS-devel mailing list
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Reply via email to