cmdargs-browser automatically generates GUI's for entering command line arguments: neilmitchell.blogspot.com/2020/07/automa. A project I wrote over 7 years ago, and then told no one about.
read image description
ALT
3
9
53
Conversation
This Tweet was deleted by the Tweet author. Learn more
Wish my datatypes came with fun little GUIs.
1
5
Yeah, one thing that is tricky is that you can have multiple representations for this stuff, so you might want to use a non-canonical module system for it. And switching between views can be handy for different stuff.
Yeah, it occurred to me that if you give a type for the UI then you can synthesize that type, or simply populate it, with the typechecker verifying that it lines up appropriately.
newtypes would be another handy route for that.
1
1
I get that newtypes allow different UI variants, but what is that synthesizing and verifying about? That doesn't look like the kind of feature which requires the compiler's involvement, a typeclass would suffice:
class UI a where
ui :: ParentWidget -> IO (Getter a, Setter a)
1
Show replies
I've been unsure where to store this 'state' on the term graph. Like, is it a local preference, or something shared between programmers?
1
This is me probably over-thinking stuff, and in the mode of a language designer - you could probably do something less fancy in Haskell if you just wanted to use deriving or something.
1
1
Show replies