GUI programming in Idris?

[Keith Pinson]

Has anyone been doing GUI programming in Idris? If so, how are you doing it?

I imagine you could do something with the FFI and actually write the view code itself in another language. I haven't got around to trying anything yet, I was just wondering whether anyone had tried it.

I did see there was a curses library, for a TUI. https://github.com/JakobBruenker/curses-idris

[Jeremy Shaw]

I was hoping to do some GUI programming by starting with an OpenGL binding. But then it turns out they went and changed OpenGL a whole lot since I last used it, and I never finished learning how modern OpenGL works :-/

Another option might be to use the Idris javascript backend and target <canvas>.

I am most interested in a GUI that is actually designed around the strengths of Idris rather than trying to sanitize some OO UI so that it is accessible from Idris. That is why I am focused on low-level bindings that do not provide any high level widgets.

- jeremy

--
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[datha...@gmail.com]

Has anyone looked at throwing together some direct one-to-one bindings to a low-to-mid level Haskell GUI library? WxHaskell seems like a reasonable choice to start with. Since Idris already seems to have some native FRP stuff, it shouldn't be too hard to then implement a Phooey or Reactive Banana -like library natively on top of that (obviously with some additional Idris-y type safety stuff).

[Melvar Chen]

On Saturday, May 28, 2016 at 7:18:22 AM UTC+2, datha...@gmail.com wrote:

Has anyone looked at throwing together some direct one-to-one bindings to a low-to-mid level Haskell GUI library? WxHaskell seems like a reasonable choice to start with. Since Idris already seems to have some native FRP stuff, it shouldn't be too hard to then implement a Phooey or Reactive Banana -like library natively on top of that (obviously with some additional Idris-y type safety stuff).

 

Since there is no way to call into Haskell besides through C, that does not seem like a useful approach.

[Dean Thompson]

libui might be worth exploring. As wrapper examples, see ui and libui-node.