chris martens on Nostr: for ages I’ve had this dumb idea to systematically generate UI widgets for ...
for ages I’ve had this dumb idea to systematically generate UI widgets for constructing strictly positive types. labeled sums turn into dropdown menus for each constructor, records are panels of widgets for each field, finite integer ranges become sliders, strings become text fields. self reference is fine because you only expand the top level of the pattern. does anyone want to help me make this so i can get it out of my head
Published at
2025-12-18 14:12:06 UTCEvent JSON
{
"id": "e406da7bafa7e737fddc7ba8724749fc580255f73670edcb2af7397ac0603c87",
"pubkey": "a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"created_at": 1766067126,
"kind": 1,
"tags": [
[
"proxy",
"https://hci.social/users/chrisamaphone/statuses/115740975218477854",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "for ages I’ve had this dumb idea to systematically generate UI widgets for constructing strictly positive types. labeled sums turn into dropdown menus for each constructor, records are panels of widgets for each field, finite integer ranges become sliders, strings become text fields. self reference is fine because you only expand the top level of the pattern. does anyone want to help me make this so i can get it out of my head",
"sig": "d04343e93cd312f55172248734e7794d4a2b334ad5cfee97ec21e0b1461947fba94cd3d825ccb5f276fe940bdd92a8bcfa5728e86ab69cf0033f9d1a7ffd83e8"
}
