[B! ML] igrepのブックマーク

GitHub - MPLLang/mpl: The MaPLe compiler for efficient and scalable parallel functional programming

igrep 2024/09/27

リンク

Computing/Truffle言語の実装例KinokoMLをつくった - Sine Lite Dies

igrep 2020/12/16

truffle
ML

リンク

お知らせ 2024年9月1日よりconnpassサービスサイトへのスクレイピングを禁止とし、利用規約に禁止事項として明記します。 9月1日以降のconnpassの情報取得につきましてはイベントサーチAPI の利用をご検討ください。お知らせ connpassではさらなる価値のあるデータを提供するため、イベントサーチAPIの提供方法の見直しを決定しました。2024年5月23日(木)より「企業・法人」「コミュニティ及び個人」向けの2プランを提供開始いたします。ご利用にあたっては利用申請及び審査がございます。詳細はヘルプページをご確認ください。

igrep 2018/01/30

リンク

CakeML

About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi

igrep 2016/09/19

"CakeML is a functional programming language with a proven-correct compiler and runtime system."

リンク

kadai1

課題４線形型に関する論文を読んでそれに基づく型推論プログラムを書く線形型システムとは？線形型システムとは、プログラム実行中に作られた値が何度使われうるかによって型を区別するような型システムです。例えば、整数の型はMLの型システムでは単に"int" ですが、線形型システムでは、高々一回しか使われない整数の型は"int<１>", 何回でも使われうる整数の型は"int<ω>" のように区別されます。このように型の概念を拡張しても MLと全く同じように自動的に型推論が行なえる（ここでは型の概念が拡張されていますから、各データが何回使われるかも自動的に推論されることになります）ことが最近になって知られており、例えば、fn x=>x+1 の型は、∀ｉ>=1, ｊ.(int<ｉ> -> int<ｊ>) のように推論できます。線形型って何の役に立つの？プログラム実行中に高々一度しか使

igrep 2014/01/26

“線形型システムとは、プログラム実行中に作られた値が何度使われうるかによって型を区別するような型システムです。”

型
ML

リンク

The Ur Programming Language Family

igrep 2013/11/16

"Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of metaprogramming based on row types."