[Haskell-cafe] dynamic web form generation for algebraic data types

[Joachim Breitner]

Hi,

Am Donnerstag, dem 02.03.2023 um 17:40 +0100 schrieb Olaf Klinke:
> Has anyone extended tangible values to Generic types and given them a
> modern html interface? 

not Haskell, but related: For the Candid Interface Description Language
(https://github.com/dfinity/candid/blob/master/spec/Candid.md), which
has products and sums and recursion, there is Candid UI, which builds
browser forms generically. The screenshot at
https://forum.dfinity.org/t/candid-ui-has-a-new-look/1887
might be helpful; the code is at
https://github.com/dfinity/candid/tree/master/tools/ui
It’s currently all very much tied to the DFINITY blockchain thingy,
although in theory the Candid format can could be used independently
(there is a Haskell implementation), and the UI components could also
be extracted.

So likely not directly useful to you, but certainly related work.

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/