Show HN: Fuse – 静的型付け関数型プログラミング言語

HNの皆さん、こんにちは！ 私はfuseプログラミング言語に取り組んできました。これは、高階型とアドホック多相性を備えた静的型付けの純粋関数型言語です。GRIN全プログラムオプティマイザにコンパイルされ、LLVM生成のネイティブコードを生成します。 Fuseは、ADT、ジェネリクス、型メソッド、トレイト、パターンマッチングなどを、ミューテーションなしの関数型スタイルでサポートしています。 私は5年間この言語を開発しており、コードはScalaで書かれています。System Fをベースに言語のコーディングを開始しました。これは、書籍「Types and Programming Languages (tapl)」の一部として実装されたものです。その後、高階多相性を持つ双方向型チェックなどの概念を拡張しました。 主にRust、Haskell、Scala、そしてPython（構文面）からインスピレーションを得ています。すべては、ADT、トレイト、Implブロック構文などのRustライクな概念を持ちながら、純粋関数型セマンティクスを持つ言語が欲しかったことから始まりました。 言語設計とその一般的な使用法について、ぜひフィードバックをいただけると嬉しいです。