|
Important
|
Cacco is still in the design stage. It’s not working yet. |
;; This is inline comment (to the end of the line). (; (1) This is block comment. block comment is keeping until the terminator -> ;) ;; (2) (; (; These block comments can be nested. ;) ;)
-
(;is the start of block comment -
;)is the end of block comment
0 ;; Fuzzy Numeric. (default: Natural)
-1 +1 ;; Fuzzy Integer. (default: Integer)
0.0 ;; Fuzzy Decimal. (default: Decimal)
1/2 ;; Rational.
'a' ;; Character. (same as Uint32)
"" ;; Fuzzy Text. (default: String_UTF8)
:key ;; Keyword.
[] ;; Fuzzy Sequence. (default: List)
{} ;; Key-Value Map.
| Fuzzy Types | Include Types |
|---|---|
Fuzzy-Numeric |
Uint8, Uint16, Uint32, Uint64, Natural, and Fuzzy-Integer |
Fuzzy-Integer |
Int8, Int16, Int32, Int64, Integer, and Fuzzy-Decimal |
Fuzzy-Decimal |
Float16, Float32, Float64, Flonum |
Fuzzy-Text |
Bytes, String-UTF8, String-UTF16, String-UTF32 |
Fuzzy-Sequence |
List, Vector, Array, Sequence |
;; Declare procedure or constant value or variable value. (: x Integer) ;; Declare a constant value once. (= x 1000) ;; Declare a mutable variable value. (:= y 0) ;; Strictly typing with literal. (= z (: 0 Uint8)) (:= w (: "something" Bytes)) ;; Reassign (=! y 1000) ;; OK (=! y "hello") ;; Can't. `y` has been declared as Number type. (=! x 10) ;; Can't. `x` has been declared as immutable.
;; Simply calling a procedure. (foo a b c) ;; Calling closure. ((|a| (* a a)) 10) ;; returns 100
This project uses AI tools (e.g., Cursor, Serena, GitHub Copilot) for collaboration. To balance openness and security:
-
Tracked Directories:
.cursor/,.serena/, and.github/directories are tracked in Git to enable collaboration among contributors. -
Ignored Secure Files: Within these directories, sensitive files (e.g., API keys, tokens, secrets, private configurations) are ignored via nested
.gitignorefiles. -
How to Contribute:
-
Clone the repository and check out the appropriate branch.
-
Ensure your AI tools are configured to respect the nested
.gitignorefiles. -
If you need to add secure files, place them in subdirectories like
secrets/orprivate/within these directories, as they are automatically ignored.
-
-
Example:
-
Place API keys in
.cursor/secrets/api.key– it will be ignored. -
Shared configurations can be placed directly in the directory (e.g.,
.cursor/settings.json) and will be tracked.
-
This policy ensures that collaborative tools remain useful while protecting private information.
# simply run test-suites
stack test
# run test-suites and generate coverage-report
stack test --coverage
# open coverage-report in your browser
open $(stack path --local-hpc-root)/index.htmlThis project includes scripts for using Serena AI assistant with Haskell LSP support. These scripts are located in .serena/scripts/ and provide convenient commands for various Serena operations.
The following scripts are available:
# Start Serena MCP server with Haskell LSP support
.serena/scripts/serena-start-mcp.sh
# Start Serena in planning mode for Haskell development
.serena/scripts/serena-with-haskell.sh
# Activate current project with Serena
.serena/scripts/serena-activate-project.sh
# Index current project for improved Serena performance
.serena/scripts/serena-index-project.shEach script includes help information:
# Show help for any script
.serena/scripts/serena-start-mcp.sh --helpBefore using the scripts, configure the Serena repository path in .serena/.serenarc:
# Example .serena/.serenarc content:
SERENA_ROOT=/path/to/local/serena-repo# Start Serena MCP server
.serena/scripts/serena-start-mcp.sh
# Start Serena in planning mode (recommended for complex tasks)
.serena/scripts/serena-with-haskell.sh
# Index the project for better performance
.serena/scripts/serena-index-project.sh
# Activate project with Serena
.serena/scripts/serena-activate-project.sh