melexis_VGA_ToF_camera VS firefly-boot

I want to finish a Time Of Flight camera. My initial application was robotics, but this domain is very crowded. The start is here: https://github.com/lnsru/melexis_VGA_ToF_camera Hardware is not complete, current software is raspiraw with corresponding modified camera header file. Tweaked raspiraw can receive test pattern from sensor chip. I want to offer low cost camera commercially at the end, but have no problem open sourcing my early development. I am electrical engineer and I have all the pieces to finish this project alone, but it’s much nicer working together.

Firefly, curly braces:

I'm still working on Firefly, a language with first class capabilities.

Since there's no other way for `deleteDirectory` to obtain capabilities than to recieve them as arguments, `deleteDirectory` only has access to the file system.

[1] https://github.com/Ahnfelt/firefly-boot/tree/master/compiler

> Do you have more to share, like resources about capability-safe languages, or your ongoing work?

I can share an example from the main function of the [self hosting Firefly compiler](https://github.com/Ahnfelt/firefly-boot/tree/master/compiler):

    main(system: System): Unit {

I'm working on Firefly, which will compile to JS once bootstrapping is complete (almost there).

Still working on typechecking Firefly with the help of a friend.

Working on the type inference for Firefly. I don't have a lot of free time at the moment, so it's coming along slowly.

Firefly uses object capabilities for enforcing purity:

In Firefly, this is done without macros:

Firefly - self hosting, working on the type inference.