You are viewing archived messages.
Go here to search the history.

Peter Saxton 2023-09-11 20:10:20

Latest update from my project. This has finally got me to the point where I can consider deployment as just passing continuations from a build script to a server. The same is true for a client just being a continuation from the server. I think I need a better name for what I'm doing. In this is the video I try and explain it.

Stew O'Connor 2023-09-13 06:21:29

at we're getting ready to open up the ability for users to easily deploy any function from HttpRequest -> HttpResponse as a web service. here's a simple example of what one might look like:

Stew O'Connor 2023-09-13 06:28:09

here's a more complicated service showing off our persistent storage:

📝 Unison Share

Explore, read docs about, and share Unison libraries

Chris Rabl 2023-09-15 06:02:38

That is slick! Can't wait to try it out for myself 🙂

Mariano Guerra 2023-09-15 15:33:27

🧬 UI Combinators: express complex UIs by composing a small set of combinators and terminals

🌳 Combinators: Option, Alternatives, List & Record

🍁 Terminals: Int, Float, Bool, ConstantSet (select), Text, Color, Date, Time etc

Marcelle Rusu (they/them) 2023-09-15 16:26:25

I'd like to see this in combination of your foldable UIs to switch between the nested combinator UI & a condensed (maybe text) syntax.

Bonus would be able to click on parts of the dense UI & expand & focus to the combinator which controls that part.

Mariano Guerra 2023-09-15 19:09:10

yep, I will add back the fold in a generic way, when you switch between alternatives the new one will get the last one as argument, if it knows how to create an instance from it, it will, if not it will return the default instance. This way the previous demo will work as is in case you have an Alt of UrlText and UrlRecord

Brian Hempel 2023-09-15 23:51:27

Type based UIs!!!

Mariano Guerra 2023-09-16 08:59:50

in a sense yes, but also I noticed those "combinators" in other places like peg parsers and regular expressions, it seems they are some sort of fundamental combinators we keep coming up with and naming differently 😛

Mariano Guerra 2023-09-16 09:01:16

from ohmjs docs: Rules (record), Sequence (List), Alternation (Alternatives), Terminal, Terminal Range (Enum)

Mariano Guerra 2023-09-16 09:02:46

inb4 category theory, homotopy type theory or something like that 😄