Drawing inspiration from Unison-Lang

[micahkendall]

Partially motivated by Merkelised Plutus Scripts, although relevant without it.

Literal Hash References

See here

The aiken configuration file can specify sources such as on-chain providers or files. UPLC would need to be made typed, so possible syntax could include this similar to check/assert.

pub fn alwaysTrue(_, _, ScriptContext) from @70bfb13066a9c73b165050b587a27cfa9fa8dfea0afad7170d13180f31

fn test() {
  let myConst:Integer = @9e1199a988ba72ffd6e9c269cadb3b53b5f360ff99f112d9b2ee30c4d74ad88b
  myConst==42
}

Additionally syntax to indicate providers for hashes, so that the compiler doesn't need to hash every function it sees.

fn @and(a: Bool, b: Bool)->Bool {
  if a { b } else { False }
}

const @myNumber = 42

This could be used in lieu of imports, where it is necessary to pin versions (i.e ScriptContext).