search

BlockstreamResearch / simfony

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
19 stars 6 forks source link

Type alias #44

Closed uncomputable closed 3 months ago

uncomputable commented 3 months ago

Add type aliases.

uncomputable commented 3 months ago

Rebased and removed the misleading comment.

The compiler processes the Simfony source code in one sequence. This means that types have to be defined before they are used. The same will hold for functions once I add them. The developer experience is not ideal, but it should be good enough for version 1.