HaskellとRustを足して2で割ったような関数型言語Fixを作っている話 - Qiita

はじめに ここ1年ぐらいかけて、Fixという名前のプログラミング言語を作っています。 コアとなる機能の実装がある程度落ち着き、実際にFixを使ってプログラムを書けるようになってきたので、そろそろ言語の紹介をしてみようと思います。 本記事はFixのチュートリアルではなく、どういう思想で設計されていて、どういう特徴を持つ言語なのか、という点を紹介するものです。 意見・提案・助言などをいただけるとうれしいです。 リポジトリはこちらです。 ※ コメントやコミットメッセージは一応拙い英語で書いていますが、日本語でissueを立てたりdiscordで意見・質問してもらっても大丈夫です。 ※ 急いで作った部分もあるため、コンパイラのコードは結構汚いです。ご容赦ください。 現状、Fixをローカルで実行するためにはLLVMのインストールが必要で時間がかかりますが、Fix playgroundを使えばブラウザ

[tattyu]

“普通の言語に慣れたプログラマーにとって覚えやすく読みやすいように配慮” これは良いね。ただググラビリティが低めな名前のが少し気になった。

[tmatsuu]

わいわい

[zyzy]

やりたいことがIdrisに近いような遠いような……いや結構遠いか？

[todays_mitsui]

触ってみよう

[dhrname]

(誤) Haskellにはレコード構文があり、C++での構造体と同様に、直積型 (正) Haskellにはレコード構文があり、構造化プログラミングのホーア・データ構造化の「直積型(注：cartesian product typeを川合慧氏がそう訳した)」と同様に、

[sarmas]

すごい

[akulog]

ほほう…

[peketamin]

よさそう！

[paradoxparanoic]

和製言語が伸びると嬉しい。頑張って

[forest1040]

よき

[kazeula]

Haskell の cons として名指しされているものが割りと Haskell 内で解決されているものばかりでもやもやするな。OverloadedLabels 使えばフィールドの名前被りしてもいいし、lens で left-to-right に書いてもいいし。

[tanakh]

ふむふむ(´･_･`)

[Magicant]

力作っぽい

[mumei-0]

“Fixはメモリリークが発生しないことを保証しようとしています”