« first day (175 days earlier)      last day (546 days later) » 

03:55
i am going to make infinite lists
and maybe first class functions, but i dont know how they'll fit in a tacit paradigm.
@UnrelatedString do you have any ideas for ^?
04:18
nope
i've just barely considered them for perhaps
i don't think there's any reason they wouldn't fit, necessarily, but it's hard to think of ways to make them eminently useful
actually i guess fixed-adicity tacit does have the issue of how do you apply them
i guess it could be curried for dyads, so you have a dyad to apply that gives a monad value that you use the dyad to apply again
04:42
and then you'd have function overloads corresponding to most of your various quicks and then some
that might actually be one way to get extra utility out of it come to think of it; you'd probably end up having an incredible variety of higher-order functions that wouldn't necessarily be worth having as quicks
actually maybe not since there's plenty of space for digraph quicks already
and you would be spending a quick on being able to create first-class functions in the first place, but that quick could be a digraph to start with and you could consider promoting it if it shows up enough in your actual golfed code
because honestly i feel like the main utility of tacking first-class functions on like this is just being able to handle challenges consistently
though it could also be useful for challenges where you have a large number of operations to do something with programmatically, in which case maybe also have some way to create a list of functions all at once (some kind of functionify-n-links quick, maybe even a chain separator if that makes any sense at all)
 
6 hours later…
10:50
[+,×,÷]
hm..
is FCF actually useful apart from
if not.. i guess there is no point in adding it
but infinite lists
that sounds useful.. i think
@UnrelatedString @lyxal are they useful?
Only if you don't have any other way of referring to functions
@lyxal i have "previous chain as monad/dyad/nilad"

« first day (175 days earlier)      last day (546 days later) »