the k tree

« first day (850 days earlier) ← previous day next day → last day (685 days later) »

Razetime

02:59

woo

I'll add a few things to that

@ngn what does # as filter count into?

@ngn ok, will do

ngn

@Razetime verb

Razetime

why does it count as a verb when it takes a monad on the left?

ngn

@Razetime functions are first-class values in k, so functions can take other functions as args and return them as results

Razetime

in that case whats the distinguishing factor of adverbs from #

they directly apply the function?

ngn

@Razetime adverbs are loosely speaking dyadic-or-triadic - they take an operand and one-or-two args

Razetime

03:04

so a verb will return a function which due to k syntax gets auto applied

ngn

@Razetime note that f'x (or any other adverb) doesn't require parens around f, but (f)#x does

Razetime

while an adveb will take upto 2 functions and apply those within its body on the result

ngn

@Razetime "auto applied"? what do you mean?

Razetime

like {x} 1 returns 1

wait that isn't right

ngn

@Razetime generally an adverb is applied like xA y or x yA z (where A is the adverb). it doesn't matter whether x y z are functions or data

@Razetime why?

@ngn (i was assuming f is a literal verb there, like +. if it's just the name f, of course it doesn't need parens)

Razetime

03:31

oh ok

@ngn the actual scenario is {{x}} 1

afaik

ngn

03:44

@Razetime {{x}} 1 should return {x}

Razetime

so yeah what was thinking was wrong

ngn

it's like (x=>x=>x)(1) in javascript

7 hours later…

chrispsn