{編程言語}{編程(programming)}(2)

{編程言語- K#7779/DDE5}

(24){Eve}{

AiScript}{C#(csharp)}{Elm}{Unison}{php}{Idris}{Lean}{OCaml}{Koka}

{編程言語-}{数据庫(database)}(2)

{Eve K#7779/CCBF}

witheve/Eve: Better tools for thought
根据数据庫(database)的編程言語

編程言語-}{プログラミング言語}{スクリプト言語}(4)

{AiScript K#7D71/D356}

来生おわり

~~https://github.com/syuilo/aiscript~~

「ドキュメント移動済み：本ディレクトリ下にあったドキュメントは、開発用のものを除き専用Webサイトに移動されました」とのこと。

(20){readline}{Mk:confirm}{Mk:dialog}{Ui:C:postFormButton}{Ui:C:postForm}{Ui:C:folder}{Ui:C:container}{Ui:C:select}{Ui:C:numberInput}{Ui:C:textInput}

{編程言語-}{.NET}(2)

{C#(csharp) K#7779/D814}

{編程言語-}(1)

{Elm K#7779/AD09}

{缩进敏感}{編程言語-}{分散編程}{代数作用(algebraic effects)}{Haskell}{SQL}(6)

{Unison K#7779/7EC2}

The Unison language

(3){Unison JIT compiler 来了}{ucm}

{編程言語-}(1)

{php K#7779/3D8B}

(8){配列}{php函数}{php path}{php 随着昇級追加的功能}{php 型宣言}{__construct函数構文糖束縛参数到成員変数}{php 箭頭函数}{php 匿名函数}

{編程言語-}{依存型}{定理証明支援系}(3)

{Idris K#7779/13D3}

{編程言語-}{Perceus}{依存型}{定理証明支援系}(4)

{Lean K#7779/7E54}

(2){Mathlib}{Lean4}

{編程言語-}{作用系统(Effect system)}(2)

{OCaml K#7779/EAC3}

{編程言語-}{Perceus}{代数作用(algebraic effects)}(3)

{Koka K#7779/4D1A}

{

{}