search

bfpg / talks

Brisbane Function Programming Group talk ideas, scheduling & archival
https://talks.bfpg.org
Creative Commons Zero v1.0 Universal
4 stars 5 forks source link

Rust #8

Closed benkolera closed 8 years ago

benkolera commented 9 years ago

Talk about functional like things that are useful for low level things.

frasertweedale commented 9 years ago

In such a talk it might be worth mentioning other efforts in this space, e.g. Ivory from Galois (Haskell DSL for safe low-level/embedded programming)

dalaing commented 9 years ago

I don't know if DDC fits in that space - the Rust / DDC combo would probably be better if the idea was to talk about region typing (in which case some talk of Oleg's lightweight monadic regions would probably come into play).

Ivory / Atom / Copilot would be great to hear about if the focus was on low level things.

benkolera commented 9 years ago

@doctau is going to talk about this in July and focus on Rust. :)