The Avail Programming Language

Method

A method, as an entity created by the compiler, is composed of a single method name and:

  • 0+ implementations:
    • Methods with 0 arguments may only have one implementation.
    • Methods with 1+ arguments may have one implementation or multiple implementations that accept different argument types.
  • 0+ grammatical restrictions distributed through the family tree
  • 0+ semantic restrictions distributed through the family tree

References: