"Simple" Bindings

Goals:

  • Don't skew too much from the underlying interface (simple helpers are fine)
  • Manage memory etc for the user (it should feel like Haskell)
  • Use better types where appropriate & still literal
  • Handle to capture global state (& potentially carry things like buffers around)??
    • Maybe not worth it
  • Helpers
    • withTerminal
    • Misc state related things
  • Marshal all Ptrs to data
  • Code GADT (or just use raw Code?)
  • Typed Configuration
  • Typed print formatting
Edited by Armando Ramirez