Skip to content
This repository has been archived by the owner on Jun 16, 2022. It is now read-only.

0918nobita/psyche-fs

Repository files navigation

Psyche

Lint Test

Programming language

Requirements

  • .NET 5.0 SDK

Setup dotnet tools

$ dotnet tool restore
$ dotnet paket restore

Build

Debug Build

$ dotnet fake build

Release Build

$ dotnet fake build -t release

Launch a REPL

  • Type :exit to exit the REPL
$ dotnet run -p src/Psyche.CLI -- repl
> (+ 1)
Static type: (-> Int Int)
Result: <Closure>

> (+ 3 4)
Static type: Int
Result: 7

> :exit

Run programs

$ dotnet run -p src/Psyche.CLI -- interpret examples/branch.txt
Static type: Int
Result: 0

$ dotnet run -p src/Psyche.CLI -- interpret examples/let-lambda.txt
Static type: Int
Result: 14

$ dotnet run -p src/Psyche.CLI -- interpret examples/counter.txt
Static type: Int
Result: 6

$ dotnet run -p src/Psyche.CLI -- interpret examples/counter2.txt
Static type: Int
Result: 3

Run tests

$ dotnet fake build -t test

Create self-contained executable

$ dotnet fake build -t publish

resulting publish folder : src/Psyche.CLI/bin/Release/net5.0/{runtime}/publish

executable file : src/Psyche.CLI/bin/Release/net5.0/{runtime}/publish/Psyche.CLI