flax

« first day (75 days earlier) ← previous day next day → last day (646 days later) »

PyGamer0

09:24

todo: add tacks

PyGamer0

09:44

ok lets hope my commit works

⊣⊢

^ added

ok lets test em

ok i guess " works

ok i think it works

5 hours later…

PyGamer0

14:40

@mathcat if you have time can you give me feedback on the documentation?

github.com/PyGamer0/flax/tree/main/docs

mathcat

nice docs

PyGamer0

do you understand the documentation?

mathcat

I'm reading

PyGamer0

mathcat

wait

+ is a dyadic chain right?

PyGamer0

14:49

no its a dyadic link

mathcat

okay link then

PyGamer0

cchains arity are dependent on the number of arguments it was called with

mathcat

so if + is called with 2 args

then it's a dyadic chain?

PyGamer0

yes

SegFaultPlus4

who is clearing my stars

PyGamer0

14:51

so it was you

gottem

stop star spamming

@mathcat ok let me run flax and show you some things

mathcat

okay

SegFaultPlus4

@PyGamer0 i have done no such thing

PyGamer0

      + ⍝ Let's call it monadically
> 3
>
6
      + ⍝ Let's call it dyadically now
> 3
> 4
7
      + ⍝ Don't forget niladic chains!
>
>
0

@mathcat ^

mathcat

amogus comment

PyGamer0

yes

mathcat

14:55

nice

so 3+ gives 6?

PyGamer0

yeah, look at how moandic chains are executed

@mathcat only when called monadically

mathcat

@PyGamer0 a+a

yeah but

3 4 5+

how does it know if it is niladic, monadic or dyadic?

PyGamer0

well, how much arguments you pass in the chain?

do you pass 1, 2, or 0 args?

mathcat

3, 4, 5 are args right?

PyGamer0

@mathcat + is a lone dyad so the 2 case is invoked and according to that the accumulator is added (+) to the left argument

@mathcat they are .. to the link not the chain

mathcat

15:00

PyGamer0

a chain always has its arity determined by the number of arguments you invoke it with

mathcat

PyGamer0

> Chains are a sequence of links.

> Chains can be called niladically, monadically or dyadically.

mathcat

okay

so a chain of 2 dyads

+ and * (times)

PyGamer0

times is ×

mathcat

15:02

If I pass 3 args to it

@PyGamer0 oh, ok

PyGamer0

@mathcat you can't

there are only niladic, monadic and dyadic chains

aka 0, 1, 2 arguments

mathcat

PyGamer0

@mathcat ok i updated the documentation so it makes more sense

mathcat

okay 2 args then

PyGamer0

then it follows these rules:

github.com/PyGamer0/flax/blob/main/docs/…

so it multiplies (×) the arguments and adds (+) it to the accumulator

      +×
> 3
> 4
15

@mathcat do you know why the output is 15?

mathcat

15:06

because λ = ⍺ I think

right?

PyGamer0

good job!

mathcat

but uh why doesn't it add first?

PyGamer0

now you know the basics of chaining of flax

mathcat

is tacit arabian?

PyGamer0

@mathcat because it follows the 2, 2 rule

mathcat

15:08

ah, ok

PyGamer0

@mathcat no, read the documentation closely

mathcat

understood

PyGamer0

there are rules, the links are executed according to those rules

mathcat

Can you give an example of an LCC chain?

PyGamer0

1+1+1

a nilad followed by 2, 0 / 0, 2 / 1 rules

mathcat

15:10

okay

PyGamer0

so 1+2C is a LCC

and so it 1 2+C

mathcat

PyGamer0

a monad which calculates 1-x

(x is the argument of the atom)

mathcat

okay

PyGamer0

@mathcat quiz: lets say the chain is +2+×C and the chain is called monadically with 3, what is the output?

mathcat

15:13

PyGamer0

since its a monadic chain: github.com/PyGamer0/flax/blob/main/docs/…

mathcat

one sec

the second plus is a dyadic link, right?

PyGamer0

its always dyadic

since all atoms have fixed arity

meaning that their arity doesnt change

mathcat

is the result -23?

PyGamer0

try again

mathcat

15:19

after the first plus, the result is 6

then there is 2

PyGamer0

@mathcat how?

@mathcat ah, you see the 2, 0 rule is followed here

mathcat

wait why?

PyGamer0

the longer rules have higher precedence

mathcat

PyGamer0

2, 0 is checked first before 2 rule

mathcat

15:20

okay

then the result is 4

then 6

PyGamer0

how?

mathcat

but 4 is correct, right?

after the first +

PyGamer0

but the input is 3

whats +2 called with 3

mathcat

I'm reading it like a stack

PyGamer0

mathcat

15:24

okay

+2 with 3 is 5

PyGamer0

yes

now try the original problem

mathcat

then the other plus is called with 5 and 3?

PyGamer0

yes

mathcat

8 then

PyGamer0

yes

mathcat

15:26

8*3 is 24

PyGamer0

no... check if any other rule is followed here

mathcat

is the 2, 1 rule applied here?

PyGamer0

exactly

mathcat

because times is dyadic and C is monadic?

okay

PyGamer0

yes

mathcat

15:29

so its (1-8)*3=-21?

oh C is 1-x

that feels wrong

PyGamer0

yea

@mathcat C stands for Complement

mathcat

I only know Compliment

PyGamer0

if you want Increment/ Decrement.. thats }{

mathcat

but C is 1-x?

PyGamer0

yes

mathcat

15:31

so C is applied to ⍺

PyGamer0

yes

mathcat

and is multiplied with 8?

PyGamer0

19 secs ago, by PyGamer0

yes

and what do you get?

mathcat

so *head maths*

-16?

PyGamer0

good job!

mathcat

15:32

nice

PyGamer0

well done

now you know chaining in flax (and as a bonus, jelly)

mathcat

Can you give another example to practise?

PyGamer0

@mathcat btw here is my output:

      +2+×C
> 3
>
¯16

mathcat

wohoo

PyGamer0

^ see its the high minus for negative numbers

@mathcat ok ill give one more and i will leave ok?

mathcat

15:35

ok, thanks

PyGamer0

quiz: +2×+}×3+1-CC called dyadically with 3 and 4

all the best!

mathcat

woah that's big

~~* installs flax *~~

2 hours later…

mathcat

17:30

@PyGamer0 can you help me

PyGamer0

yes continue, i have 1 minute

github.com/PyGamer0/flax/blob/main/docs/…

mathcat

yeah

so the first plus calculates 3+4+2

right?

PyGamer0

how?

its a 2, 0

mathcat

which's 9

so it's (3 + 4) + 2

PyGamer0

what does +3 give with 3 and 4?

ok ill explain properly tomorrow

mathcat

17:35

okay o/

PyGamer0

« first day (75 days earlier) ← previous day next day → last day (646 days later) »

all rooms

Transcript for

Mar8

Mar '229

Mar10

Discussion about flax. Github: github.com/zoomlogo/flax. Docs: ...

code-golf epic golfing-language

join this room
about this room

00:00

06:00

12:00

18:00

all times are UTC