Imagine python, but statically typed and with curly braces.
def str greet(str name) { return f"Hello, {name}" }
noooo
i think this syntax is nicer:
def greet(name: str) -> str { f"Hello, {name}" }
greet :: str -> str def greet(name) { return f"Hello, {name}!" }
By the way your syntax is good, itβs just that the arrow reminded me of Haskell
noooo