コンテンツにスキップ
プログラミング言語リファレンス
PR

関数型・Lisp・配列

関数型・Lisp・配列に分類される項目を一覧化しています。カテゴリ内の項目を眺めると、用途の近い言語や記法をまとめて探せます。

99件
名称カテゴリ分類状態
Accelerate関数型・Lisp・配列Haskell DSL参考情報少なめ
ACL2関数型・Lisp・配列定理証明 / Lisp参考情報少なめ
Alex lexer関数型・Lisp・配列字句解析参考情報少なめ
Alice ML関数型・Lisp・配列関数型参考情報少なめ
Alpine.js expression syntax関数型・Lisp・配列Web DSL参考情報少なめ
Ante関数型・Lisp・配列システム / 関数型参考情報少なめ
APL2関数型・Lisp・配列配列言語（IBM製品・歴史的）IBM製品提供終了・公式保存資料あり
April関数型・Lisp・配列配列言語参考情報少なめ
AutoLISP関数型・Lisp・配列AutoCAD拡張参考情報少なめ
BloomL関数型・Lisp・配列分散参考情報少なめ
Cadence SKILL関数型・Lisp・配列EDA参考情報少なめ
Carp関数型・Lisp・配列システム / Lisp系参考情報少なめ
Cayenne関数型・Lisp・配列依存型参考情報少なめ
Checkov policies関数型・Lisp・配列IaC検査参考情報少なめ
Clojure関数型・Lisp・配列JVM上のLisp・データ指向・REPL開発参考情報少なめ
COLLADA XML関数型・Lisp・配列3D交換参考情報少なめ
Common Lisp関数型・Lisp・配列Lisp系・長寿命システム・AI史参考情報少なめ
Common Music関数型・Lisp・配列音楽参考情報少なめ
Concurrent ML関数型・Lisp・配列並行関数型参考情報少なめ
DAML+OIL関数型・Lisp・配列オントロジー参考情報少なめ
Data Parallel Haskell関数型・Lisp・配列並列関数型参考情報少なめ
DocBook関数型・Lisp・配列文書参考情報少なめ
DTD関数型・Lisp・配列スキーマ参考情報少なめ
Dylan関数型・Lisp・配列マルチパラダイム参考情報少なめ
EEx関数型・Lisp・配列テンプレート参考情報少なめ
Egel関数型・Lisp・配列関数型参考情報少なめ
Elixir関数型・Lisp・配列Web、リアルタイム、BEAM 実務公式リンクあり
Emacs Lisp関数型・Lisp・配列Emacs拡張参考情報少なめ
Erlang関数型・Lisp・配列通信、分散、耐障害公式リンクあり
Extempore関数型・Lisp・配列ライブコーディング参考情報少なめ
F#関数型・Lisp・配列.NET 業務、分析、関数型設計公式リンクあり
Galaxy tool XML関数型・Lisp・配列バイオ参考情報少なめ
GitHub Actions YAML関数型・Lisp・配列CI DSL参考情報少なめ
GitLab CI YAML関数型・Lisp・配列CI DSL参考情報少なめ
Glade XML関数型・Lisp・配列UI記述参考情報少なめ
Haml関数型・Lisp・配列テンプレート参考情報少なめ
Happy grammar関数型・Lisp・配列パーサ生成参考情報少なめ
Haskell関数型・Lisp・配列研究、言語実装、形式手法公式リンクあり
Hiccup関数型・Lisp・配列HTML DSL参考情報少なめ
hiccup-like DSLs関数型・Lisp・配列HTML DSL参考情報少なめ
HLO関数型・Lisp・配列ML IR参考情報少なめ
Hop関数型・Lisp・配列Web / Scheme系参考情報少なめ
HTML関数型・Lisp・配列マークアップ言語参考情報少なめ
htmx attribute DSL関数型・Lisp・配列Web DSL参考情報少なめ
Husk関数型・Lisp・配列コードゴルフ参考情報少なめ
Hyperscript関数型・Lisp・配列Web DSL参考情報少なめ
Isabelle/ML関数型・Lisp・配列定理証明環境参考情報少なめ
Janet関数型・Lisp・配列組み込み向けLisp系参考情報少なめ
Keras config JSON関数型・Lisp・配列ML DSL参考情報少なめ
Kubeflow Pipelines DSL関数型・Lisp・配列ML Ops参考情報少なめ
LookML関数型・Lisp・配列BI DSL参考情報少なめ
Lucid Synchrone関数型・Lisp・配列同期関数型参考情報少なめ
Menhir grammar関数型・Lisp・配列パーサ生成参考情報少なめ
Metaflow FlowSpec関数型・Lisp・配列ML Ops参考情報少なめ
MiniML関数型・Lisp・配列教育 / 型理論参考情報少なめ
Miranda関数型・Lisp・配列関数型参考情報少なめ
MLIR関数型・Lisp・配列コンパイラIR参考情報少なめ
MLton SML dialect関数型・Lisp・配列ML系参考情報少なめ
Multicore OCaml effect syntax関数型・Lisp・配列効果型参考情報少なめ
MusicXML関数型・Lisp・配列楽譜参考情報少なめ
MXML関数型・Lisp・配列UI記述参考情報少なめ
Nyquist関数型・Lisp・配列音響参考情報少なめ
OCaml関数型・Lisp・配列関数型・型安全・コンパイラ・金融参考情報少なめ
ocamllex関数型・Lisp・配列字句解析参考情報少なめ
ocamlyacc関数型・Lisp・配列パーサ生成参考情報少なめ
ONNX graph IR関数型・Lisp・配列ML中間表現参考情報少なめ
PlantUML関数型・Lisp・配列図表DSL参考情報少なめ
PMML関数型・Lisp・配列モデル交換参考情報少なめ
Pug関数型・Lisp・配列テンプレート参考情報少なめ
PureScript関数型・Lisp・配列Haskell風JS言語参考情報少なめ
QML関数型・Lisp・配列Qt UI記述参考情報少なめ
RAML関数型・Lisp・配列API記述参考情報少なめ
ReactiveML関数型・Lisp・配列リアクティブ参考情報少なめ
Reason / ReScript関数型・Lisp・配列OCaml系・JS出力・Web参考情報少なめ
Relax NG関数型・Lisp・配列スキーマ参考情報少なめ
RuleML関数型・Lisp・配列ルール記述参考情報少なめ
Scheme関数型・Lisp・配列Lisp系・教育・言語処理系参考情報少なめ
SGML関数型・Lisp・配列マークアップ参考情報少なめ
SML#関数型・Lisp・配列Standard ML互換の拡張を持つオープンソース関数型プログラミング言語現行公式サイトあり・オープンソースで継続配布
StableHLO関数型・Lisp・配列ML IR参考情報少なめ
Standard ML関数型・Lisp・配列関数型・言語理論参考情報少なめ
SVG関数型・Lisp・配列ベクター参考情報少なめ
SWRL関数型・Lisp・配列セマンティックWeb参考情報少なめ
Taskfile関数型・Lisp・配列タスクDSL参考情報少なめ
TensorFlow GraphDef関数型・Lisp・配列ML IR参考情報少なめ
TFX DSL関数型・Lisp・配列ML Ops参考情報少なめ
TOML関数型・Lisp・配列設定ファイル参考情報少なめ
TXR関数型・Lisp・配列テキスト処理参考情報少なめ
TXR Lisp関数型・Lisp・配列Lisp系参考情報少なめ
Ur/Web関数型・Lisp・配列Web / 関数型参考情報少なめ
VRML関数型・Lisp・配列3D Web参考情報少なめ
WML関数型・Lisp・配列ゲーム設定参考情報少なめ
X3D関数型・Lisp・配列3D Web参考情報少なめ
XAML関数型・Lisp・配列UI記述参考情報少なめ
XML関数型・Lisp・配列データ / マークアップ参考情報少なめ
XPath関数型・Lisp・配列XML問い合わせ参考情報少なめ
XSL-FO関数型・Lisp・配列組版参考情報少なめ
XSLT関数型・Lisp・配列XML変換参考情報少なめ
YAML関数型・Lisp・配列設定・CI/CD・Kubernetes参考情報少なめ

検索意図から見る要点

Section titled “検索意図から見る要点”

このページへ検索から来た人は、まず「これは何の記法なのか」「今も実用されるのか」「どの資料を確認すればよいのか」を知りたいはずです。理解の入口になる情報を次のように整理します。

観点内容
種別カテゴリページ
概要関数型言語のカテゴリページ。Haskell、OCaml、F#、Elm、Clojureなどへの導線に向く。
読み始める順番公式サイト、仕様、実装例、既存資産の順に見ると判断しやすい

読むときは、現在の実用言語なのか、過去の資産を読むための言語なのか、特定製品のためのDSLなのかを分けると判断しやすくなります。

追加調査で押さえる実務ポイント

関数型・Lisp・配列は、functionを値として扱う言語、S式とmacroを中心にするLisp系、array全体へ演算するarray languageをまとめて探す案内ハブです。同じ分類内でも実行modelは大きく異なります。純粋性、immutability、lazy evaluation、macro、VM、native compile、array semanticsから候補へ進みます。

目的から選ぶ

条件候補
pure functionalHaskell
native ML系OCaml、SML#
.NETF#
JVM LispClojure
小さいLispScheme
大規模LispCommon Lisp
BEAM concurrencyElixir、Erlang
array notationAPL、J
native Lisp + ownershipCarp

最小例

(define (square x)
  (* x x))

(map square '(1 2 3 4))

Lisp系

codeとdataが同じlist構造を持ち、macroでlanguageを拡張します。Scheme、Common Lisp、Clojure、Emacs Lispは互換処理系ではありません。

ML系

static typing、algebraic data type、pattern matching、type inferenceが中心です。

Array language

scalar loopを明示せず、array全体の演算を短いnotationで表します。

比較軸

  • strict / lazy
  • pure / impure
  • static / dynamic
  • macro
  • GC
  • native / VM
  • concurrency
  • FFI
  • package

次に読む

参考リンク