aethershell 0.3.1

The world's first multi-agent shell with typed functional pipelines and multi-modal AI
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

# Aether distinguishes URIs from Strings at type level.

let a = "https://example.com"   # Uri
let b = "s3://bucket/key"       # Uri
let c = "not a uri"             # String

print(type_of(a))  # => Uri
print(type_of(b))  # => Uri
print(type_of(c))  # => String

# Comparisons across types (Uri vs String) will typecheck to Bool or error at runtime
print(a == b)