検索結果
ナビゲーションに移動
検索に移動
- 相互再帰は[[関数型言語|関数型プログラミング]]では非常に一般的で、[[LISP]]、[[Scheme]]、[[ML (プログラミング言語)|ML]]などの[[プログラミング言語]]でのプログラム …2キロバイト (60 語) - 2023年9月8日 (金) 07:05
- |パラダイム = [[関数型プログラミング]] …| last1 = Backus | first1 = J. }} - 日本語訳：「プログラミングはフォン・ノイマン・スタイルから解放されうるか？: 関数型プログラミング・スタイルとそのプログラム代数」、[[米澤明憲]]訳『ACMチューリング賞講演集』（[[共立出版]]）pp. 83-156</ref>は、関数型プログラ …7キロバイト (448 語) - 2024年11月26日 (火) 22:00
- …'形式'' または ''形'')は、[[始代数]]から他の[[F代数|代数]]への唯一の[[F代数#形式的定義|準同型射]]を意味する。この概念は[[関数型プログラミング]]へ[[モノイド#計算機科学におけるモノイド|fold]]として応用されている。 [[Category:関数型プログラミング]] …7キロバイト (489 語) - 2024年8月19日 (月) 00:45
- 6キロバイト (376 語) - 2022年12月28日 (水) 15:35
- 5キロバイト (139 語) - 2023年8月7日 (月) 07:18
- …ng-en-short|algebraic data type}}）とは[[プログラミング (コンピュータ)|プログラミング]]、特に[[関数型言語|関数型プログラミング]]や[[型システム]]において使われる[[データ型]]である。それぞれの代数的データ型の[[値 (情報工学)|値]]には、1個以上の[[コンストラクタ [[Category:関数型プログラミング]] …8キロバイト (291 語) - 2024年2月21日 (水) 15:04
- [[プログラミング言語]]{{efn|特に[[関数型プログラミング]]言語において。}}と[[型理論]]において、'''Option型'''（{{lang-en|Option type}}）または'''Maybe型'' [[Category:関数型プログラミング]] …13キロバイト (1,203 語) - 2024年6月25日 (火) 13:52
- [[Category:関数型プログラミング]] …5キロバイト (287 語) - 2023年10月11日 (水) 16:51
- 12キロバイト (480 語) - 2021年9月29日 (水) 04:08
- [[Category:関数型プログラミング|かりいか]] …6キロバイト (291 語) - 2022年8月30日 (火) 08:29
- [[Category:関数型プログラミング]] …9キロバイト (438 語) - 2017年10月1日 (日) 09:19
- …でも動作させることが可能である。詳細は後述するが、@jitの中に書けるのは普通のPythonのプログラムではなく、Pythonの構文を使用した純粋[[関数型プログラミング|関数型言語]]である。 | 純粋[[関数型プログラミング|関数型]]。配列は[[イミュータブル|不変]]で、形状(shape)はコンパイル時に静的に確定してないといけない。<ref>{{Cite web |t …13キロバイト (1,165 語) - 2025年2月2日 (日) 07:59
- 23キロバイト (1,494 語) - 2025年1月30日 (木) 15:20
- [[Category:関数型プログラミング]] …10キロバイト (1,143 語) - 2024年2月23日 (金) 13:31
- 15キロバイト (877 語) - 2024年9月12日 (木) 09:13
- 21キロバイト (1,722 語) - 2025年3月20日 (木) 08:16
- 38キロバイト (2,192 語) - 2025年3月15日 (土) 13:51
- 16キロバイト (653 語) - 2024年11月16日 (土) 18:37
- [[Category:関数型プログラミング]] …35キロバイト (1,496 語) - 2024年11月1日 (金) 22:44
- [[Category:関数型プログラミング]] …25キロバイト (1,427 語) - 2023年12月27日 (水) 01:35