Oh yeah, I think `()` for indexing like in Scala is fine too.
Conversation
I love that collection access in scala looks like a function call like that.
2
2
how does Scala solve for making indexable user collections anyways?
3
1
I think the call operator is overloadable?
1
1
Kind of like in Rust, with the `Fn` traits (which are not yet overloadable in stable Rust due to the lack of variadic type params)
1
1
I'm gonna be honest with you if we have anything but arity overloading I am rioting.
1
2
not/1 and not/2: cool
two different not/1s: pistols at dawn
1
2
sorry, not sure I follow… is this a Prolog reference? Was more talking:
trait Fn<Input, ..., Output> { ... }
or:
trait Fn<(Input, ...), Output> { ... }
Seems like a tricky thing to figure out though, so I'm not holding my breath it will be available soon…
2
1
I guess that _would_ however possibly let folks sneak in function overloading based on the argument types/arities if you aren't careful though. Ie. statically dispatching multiple impls on a marker struct. Not sure if you could avoid this by using associated types instead…
I remember goofing around with this for funsies back when the Fn traits were added, and I don't think I was the only one!
2