« first day (117 days earlier)      last day (101 days later) » 

mathcat
mathcat
13:10
→ [](chat.stackexchange.com/transcript/message/62170077#62170077) moved to ­
anyway
that was dumb
lemme think
If the program is L+, it can be grouped like:
1. The L is monadic and the plus is dyadic (? (? L)+) (precedent)
2. The L is monadic and the plus is monadic ((? L) +)
3. The L is dyadic and the plus is dyadic (? (? ? L) +)
4. The L is dyadic and the plus id monadic ((? ? L) +)
If you always choose the precedent grouping, fluid-arity becomes more digraph-y
I had planned fluid-arity for quro way before, but the problem was that they were just modifiers/digraph and didn't care about program context
lemme see
I'm going to have to choose the precedent grouping
(? (? L) +)
ugh
mathcat
mathcat
14:28
4N 1 2+ 5N*

(4 N) ((1 2+) (5 N) *)

4N 1 2+* 5N
((4N) (1 2+) *) (5 N)

4N 1 2+ 5N*
((4N) ((1 2+) 5 N)*)


46-> 4 6

sub stacks -> if statements

DAjL5-\A*p
((((DA) j) L)((5 -) \A *) p)
don't ask me why I just did that, I do not know
you know what? Fluid arity might work
I need to sacrifice an element for that though
i for invert?
I'll try fluid-arity for another Vyxal program
⌊∑$E%Π⁰↳›J
I'll simplify that a bit
actually no
grouping
simplified: (((((? ⌊) ∑) ((?) E) %) Π) ↳) J)
assuming floor is monadic
that's hard
Yeah
That might work
The number of inputs taken implicitely is going to be exactly the number of the inputs available
so for this program ^^^^^^
Only two inputs can be taken implicitely
for example
∑N/s
A list and an integer are given
@mathcat sum the list, negate, divide by second input and square
((? ((? ∑) N) /) s)
remember, the goal is to make fluid-arity fluid -> they can't just be diagraphs
@mathcat The main-arity of s could be dyadic and mean, idk, exponentiation
But because 2 implicit inputs were already taken and there's just one element in the stack, s is going to switch to it's non default arity.
mathcat
mathcat
14:50
that's it guis
I think I might've invented a useful new feature
This is going to be the main syntactical difference
Fluid arity
yesterday, by lyxal
what about extra stuff at the front?
^ fractionate, but I don't think this is going to be used a lot
Because if there's extra stuff in the stack, you just change the arity
(of the last element, second-to-last, and so on)
Seggan
Seggan
15:21
@mathcat other way around
extra stuff == more overloads
mathcat
mathcat
I meant extra bytes != good lol
@Seggan true
Honestly, I don't even know yet if quro is a 5-bit-character set or a 6-bit-character set
But that's for another day
oh yeah 46 -> 4 6
if ya want double-digit integers, you gotta use integer-compression
And every structure is going to exist in its own metaverse
You can request 1 item implicitly from the main stack though
 
3 hours later…
mathcat
mathcat
18:16
Recursion is awesome

« first day (117 days earlier)      last day (101 days later) »