検索結果
ナビゲーションに移動
検索に移動
- [[Category:関数型プログラミング言語]] …7キロバイト (448 語) - 2024年11月26日 (火) 22:00
- …David Turner (computer scientist)|デビッド・ターナー]]によって設計・実装された単純な[[遅延評価]]方式の純粋[[関数型プログラミング言語]]である<ref>[http://krc-lang.org 公式ウェブサイト]</ref>。[[1979年]]11月から[[1981年]]10月にかけ [[Category:関数型プログラミング言語|Kent Recursive Calculator]] …6キロバイト (376 語) - 2022年12月28日 (水) 15:35
- 5キロバイト (139 語) - 2023年8月7日 (月) 07:18
- 13キロバイト (1,203 語) - 2024年6月25日 (火) 13:52
- …ng language)}}、{{仮リンク|Epigram|en|Epigram (programming language)}}などのいくつかの[[関数型プログラミング言語]]では、依存型を使った非常に表現力の強い型によって、バグを防止している。 …12キロバイト (480 語) - 2021年9月29日 (水) 04:08
- …実はこれが唯一の ''F''-始代数となる。この始代数が持つ始対象性は、[[Haskell]]や[[ML (プログラミング言語)|ML]]のような[[関数型プログラミング言語]]で[[fold|<code>foldr</code>]]と呼ばれている関数によって与えられる。 …9キロバイト (438 語) - 2017年10月1日 (日) 09:19
- [[Category:関数型プログラミング言語]] …15キロバイト (877 語) - 2024年9月12日 (木) 09:13
- 23キロバイト (1,494 語) - 2025年1月30日 (木) 15:20
- …し算]]だけで無く、二項演算子 <math>\oplus</math> に一般化することが可能であり、そのため幅広い応用が可能である。これにより、[[関数型プログラミング言語]]では、scanと呼ばれる基本的な処理となっている。なお、途中の計算過程を記録する必要が無く、最終結果だけが必要な場合はfoldと呼ばれる。<ref [[関数型プログラミング言語]]の観点では、累積和は加算に限らず任意の二項演算子へと一般化できる。この一般化によって得られる[[高階関数]]はscanと呼ばれ、foldと密接に関連 …21キロバイト (1,722 語) - 2025年3月20日 (木) 08:16
- '''{{lang|en|LISP}}'''（リスプ）は、[[関数型プログラミング言語]]である。<!--長い歴史を持ち、特徴的で完全に括弧で囲われた[[ポーランド記法]]<ref> [[カテゴリ:関数型プログラミング言語]] …38キロバイト (2,192 語) - 2025年3月15日 (土) 13:51
- 16キロバイト (653 語) - 2024年11月16日 (土) 18:37
- …科学のいろいろなところで使われており、特に[[LISP]]、[[ML (プログラミング言語)|ML]]、[[Haskell]]といった[[関数型言語|関数型プログラミング言語]]の理論的基盤として、その誕生に大きな役割を果たした。 …35キロバイト (1,496 語) - 2024年11月1日 (金) 22:44
- [[Category:関数型プログラミング言語]] …41キロバイト (2,304 語) - 2025年3月17日 (月) 21:57
- [[Category:関数型プログラミング言語]] …66キロバイト (2,888 語) - 2024年12月30日 (月) 01:28
- …学)|変数]]を消去するために導入された記法である。最近では、[[計算機科学]]において計算の理論的モデルで利用されてきている。また、[[関数型言語|関数型プログラミング言語]]の理論（意味論など）や実装にも応用がある。 …62キロバイト (6,069 語) - 2024年6月1日 (土) 11:12
- }} - 注釈：[[関数型プログラミング言語]][[Haskell]]による[[置換 (数学)|置換]]の実装。 …66キロバイト (2,542 語) - 2025年2月26日 (水) 18:57