I wrote a little blog about structural editors. <h...
# thinking-togetherm
molikto
12/30/2019, 3:01 PMI wrote a little blog about structural editors. https://molikto.github.io/posts/09-structural-middle-grounds.html any comment?
d
Duncan Cragg
12/30/2019, 7:32 PMtip: stick it into #CCL5VVBAN in future!
n
Niko Autio
12/30/2019, 8:55 PM...which is maybe the only active on-topic channel with #C5T9GPWFL but tha'ts fine.
Niko Autio
12/30/2019, 9:22 PMStructural editors are quite popular topic people are excited about but for some reason they won't seems to catch much traction.
Hard part seems to be how to actually make interaction smooth and intuitive without loosing (too much) good parts of text editing. So I think it's more about design than computer sciensy problems.
Be careful and remember to focus on your vision. There are lot of dangerous research rabbit holes everywhere where lot of people have fallen 😁
y
yairchu
12/31/2019, 9:00 AMThis misinforms about Lamdu. The distincition that Hazel disallows type errors while Lamdu allows them is simply incorrect
m
molikto
12/31/2019, 9:08 AM@yairchu sorry about this, I updated the post.
y
yairchu
12/31/2019, 9:10 AMThe update is avoiding to mention Lamdu? What ticks my nerve is folks crediting Hazel with what we implemented and presented first (albeit not in an academic paper, true)
m
molikto
12/31/2019, 9:12 AM😅. Please don't get it wrong, I just want to give some examples, and I failed to find an example where fits perfectly for the second item
b
Brendan Zabarauskas
01/01/2020, 11:10 AMThans for the cubical agda example! How structured editing can help in a richly typed setting is something that interests me a great deal!
Brendan Zabarauskas
01/01/2020, 11:11 AMWrote something here about it - not sure how to do it without getting sucked down rabbit holes though: https://gist.github.com/brendanzab/eba7015e6345abe79a57a704091820bb/#transition-from-purely-textural-editing-to-projectional-structured-editing
2 Views