Schrottkatze schrottkatze
schrottkatze created pull request katzen-cafe/iowo#7 2024-01-11 15:58:55 +00:00
WIP: start working on a cli app
schrottkatze pushed to main at schrottkatze/nix-configs 2024-01-11 15:42:38 +00:00
4b44c2b6b7 switch to different subkey or sth idk how this works
schrottkatze pushed to main at schrottkatze/nix-configs 2024-01-11 15:38:49 +00:00
fb8515226b set up commit signing
5ed458533c install plover
2b97571954 flake.lock: Update
Compare 3 commits »
schrottkatze commented on pull request katzen-cafe/iowo#3 2024-01-11 15:13:25 +00:00
design: type system design

Can I change which branch I'm merging from? bc I fucked up and worked on main, resolved that locally now but this pr still tries to merge main

schrottkatze commented on pull request katzen-cafe/iowo#3 2024-01-11 15:11:18 +00:00
design: type system design

I meant in-language constructs, but that's probably something to put on the far future todo list...

I'm concerned about lacking support for OCIO, but realistically,…

schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-11 15:05:10 +00:00
docs: some initial groundwork

This probably isn't the technically correct term, but I'd say the scheduler or whatever also decides which executor does what, so they may be mixed.

Also, Idk if the graph is the AST already,…

schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-11 14:59:11 +00:00
docs: some initial groundwork

In the current stage of the project, there isn't. But functions are something that, IMO should be definable by users (in the language), so maybe instructions may just be a subset of functions, as…

schrottkatze pushed to main at katzen-cafe/iowo 2024-01-11 14:55:58 +00:00
70256a7bfc Merge pull request 'write initial type signature notation proposal' (#5) from schrottkatze/iowo:type-notation into main
b91e697449 add example for multiple generics
e1dc5ce132 doc: change code from inline to blocks
22a655fd24 write initial type signature notation proposal
Compare 4 commits »
schrottkatze merged pull request katzen-cafe/iowo#5 2024-01-11 14:55:57 +00:00
write initial type signature notation proposal
schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-11 10:01:09 +00:00
docs: some initial groundwork

Operators, to me at least, have the implication of being one or two characters long and usually special chars. How about "instruction" instead?

Instructions I'd prefer stay reserved for the…

schrottkatze commented on pull request katzen-cafe/iowo#5 2024-01-11 09:58:25 +00:00
write initial type signature notation proposal

added the requested example!

schrottkatze commented on issue katzen-cafe/iowo#4 2024-01-10 11:59:31 +00:00
Keyword inputs and outputs

Yeah, makes sense.

However, I'd treat outputs as lists so one could also split an array like this:

[ 1 2 ] 
    
schrottkatze created pull request katzen-cafe/iowo#5 2024-01-10 11:46:19 +00:00
write initial type signature notation proposal
schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-10 10:41:05 +00:00
docs: some initial groundwork

I think that we should rename Commands to Operators (or something similar), since a "Command" implies an imperative environment like a shell (and yes, I originally used that term because this was…

schrottkatze created pull request katzen-cafe/iowo#3 2024-01-08 12:45:54 +00:00
design: type system design
schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-08 12:11:01 +00:00
docs: some initial groundwork

About the tooling stuff: I suggest adding Penpot, since I generally prefer penpot for design work. I don't use it for icons etc, that's indeed where I fall back to inkscape, but generally I…

schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-08 11:56:47 +00:00
docs: some initial groundwork

the reason why I wanted discussions over forgejo is, so they're all public and organized. If someone, including ourselves, wanted to reference why we decided on something or why we did something…

schrottkatze pushed to main at schrottkatze/cursed-webthing 2024-01-07 14:18:41 +00:00
b8c4d0a6c6 clean up error stuff
27e9087d9f add test outputs and direnv outputs and stuff
Compare 2 commits »
schrottkatze pushed to main at schrottkatze/cursed-webthing 2024-01-07 13:26:45 +00:00
2d007c977c add error reporting stuffs
schrottkatze pushed to main at schrottkatze/cursed-webthing 2024-01-06 20:31:54 +00:00
970ae0e449 split code up and clean up a small bit