Manual Interfaces

[gavr123456789]

Type with all members codeblock can be used as interface! Thanks @pyrotek45 for insparation nova:

struct Math {
    sq: (Int) -> Int,
}

fn math() -> Math {
    return Math {
        sq: |x: Int| x * x
    }
}

niva:

type IMath
  sq: [Int -> Int]

type Math 
Math sq: x::Int = x * x

// send "implementation" of the IMath interface 

referenceToSqExample = &Math sq:
// method that takes interface
Int mathable::IMath = [
  mathable sq: this
]

1 mathable: (IMath sq: &Math sq:)

[gavr123456789]

type Person 
  name: String

extend Person [
  on sleep = "sleeeping" echo
  on sayHello = "Hi! I'm $name" echo
]

// interface for Person
type Human 
  yapping: []
  sleeping: []

Program h::Human = [
  h sleeping do
  h yapping do
]

p = Person name: "Alice"
pr = Program new

sayHelloReference = &p sayHello
sleepingReference = &p sleep
// human = 
pr h: (Human yapping: sayHelloReference sleeping: sleepingReference)

[gavr123456789]

Creating separate references is not nesessery (niva is clojure after all)