Getting Started
GHC 9.10+ · Cabal 3.12+
Status: compiler, interpreter, REPL, formatter, documentation tools, and LSP implemented.
From the repository root:
cabal build all
cabal test all --test-show-details=directRun a command without installing:
cabal run pudu -- check path/to/Main.pudu
cabal run pudu -- run path/to/Main.puduDevelopment builds currently share version 0.1.0.0, so version text cannot prove that the shell
or editor found the current compiler. Install to a known directory and verify behavior:
mkdir -p "$HOME/.local/bin"
cabal install exe:pudu --installdir="$HOME/.local/bin" --overwrite-policy=always
export PATH="$HOME/.local/bin:$PATH"
hash -r
test "$(command -v pudu)" = "$HOME/.local/bin/pudu"
pudu check test-fixtures/tooling/RecentLanguage.pudu
node test/lsp-session.mjs "$(command -v pudu)"module Main
export fn main() -> Int {
print("hello from Pudu")
0
}
pudu check Main.pudu
pudu run Main.puduAn exported main is the program entry point. An integer result becomes the process exit status;
unit prints nothing; another returned value is rendered.
$ pudu
puduci> 1 + 1
2
puduci> :t "hello"
"hello" :: Str
Use :? for commands. See CLI REPL And Documentation.
The Worked Programs appendix continues with complete modules for failure, patterns, sets, and task scopes.
- Modules And Imports
- Values, Bindings, And Blocks
- Types And Inference
- Records, Sums, And Tuples
- Functions Generics And Traits
- Pattern Language
- Control Flow And Patterns
- Iteration And Loops
- Failure And Propagation
- Numbers And Collections
- Sets Maps And Sequences
- Keyed Structures
- Trees And Hierarchies
- Standard Library
- Output Formatting And Testing
- Tasks And Scopes
- Compile-Time Evaluation
- Typed Macros
- References And Unsafe
- Worked Programs