_Callable interface in builtin about rbs HOT 5 OPEN

Maybe, but very few builtin methods take such a parameter. I can think of Enumerable#find (which is currently badly defined)

Note that the return type should not be void but top. Also the interface should not depend on []:

interface _Call
  def call: (*top) -> top
end

Still, it might be best not to, since the above interface is too lax, usually you will want to specify the type of inputs the call method should be expecting.

from rbs.

In the benefit of understanding, what does "top" stand for? I struggled a bit with the meaning of it.

Perhaps you're right, but a Callable with a T reference seems more suitable to my example. All things considered I might backtrack a bit on this until I come up with compelling use cases.

from rbs.

If you have a specific method in your mind, like Enumerable#find, defining an interface would be better.

interface _NotFound[A]
  def call: () -> A
end

module Enumerable[X, Y]
  def find: [T] (_NotFound[T]) -> (X | T)
  ...
end

from rbs.

I had this in mind: https://docs.python.org/3/library/typing.html#callable

from rbs.

After thinking more about this, I think that I do not necessarily want a Callable interface, rather an "inline" way of saying "something implementing #call", i.e. I think that rbs could have syntactic sugar for defining these 1 method-interfaces.

  def callables: () -> Array[Imp[call:(*untyped) -> top]]

How that would look like, I have no idea :)

from rbs.