-
同型関数の重要性
疑問点 短い質問です。 プログラミングにおける同型関数の重要性(つまり関数型プログラミングにおける)は何ですか? 長い質問です。 私は時々耳にするいくつかの専門用語に基づいて、関数型プログラミングとカテゴリ理論の概念の間のいくつかのアナログを描画しようとしています。 基本的に、私はその専門用語を私が拡大することができる具体的な何かにquot;unpackage"しようとしてい
2023-09-08 18:06:10 -
[解決済み] Rustで関数を合成するには?
質問 2つの関数を合成する関数を書こうとしています。最初のデザインはとてもシンプルです。2 つの関数を受け取り、合成された関数を返す関数で、Rust には残余パラメータがないので、他の関数と合成することができます。私は、役立つことのないコンパイラーエラーに苛立ちながら、壁にぶつかっています。 私のコンポジット関数です。 fn compose<'a, A, B, C, G, F&g
2023-06-22 20:20:56 -
[解決済み] python list comprehensions; リストのリストを圧縮する?
質問 の皆さん、こんにちは。私は問題に対する最もエレガントな解決策を見つけようとしていて、私がやろうとしていることのためにpythonが何か組み込みを持っているかどうか疑問に思っています。 私がやっていることはこれです。私はリストを持っています。 A というリストがあり、関数 f という関数があり、これはアイテムを受け取ってリストを返します。リスト内包を使って A をこのように変
2023-03-06 17:55:24 -
[解決済み] Dartで型付き関数をパラメータとして渡す
質問 私は 機能 クラスは、次のように別の関数にパラメータとして渡すことができます。 void doSomething(Function f) { f(123); } しかし、関数パラメータの引数や戻り値の型を制約する方法はあるのでしょうか? 例えば、この場合 f は整数に対して直接呼び出されていますが、別の型を受け入れる関数であった場合はどうでしょうか?
2023-02-22 16:41:02 -
[解決済み] 社会人のためのコンビナート説明会
質問 コンビネータとは何ですか? コンビネータとは "自由変数を持たない関数または定義"。 (SOでの定義通り)ですか? あるいは、次のようにするとどうでしょう。 ジョン・ヒューズ は、彼のよく知られたアローズに関する論文において コンビネータとは、プログラムの断片からプログラムの断片を構築する関数である。 これは、「...コンビネータを使うプログラマは、細部
2023-02-12 21:35:01 -
[解決済み] Schemeのeq, eqv, equal, =の違いは何ですか?
質問 Schemeではこれらの演算はどう違うのでしょうか。Stack Overflowで同じような質問を見かけましたが、Lispに関するもので、これらの3つの演算子の比較はされていません。 Schemeで異なる種類のコマンドを書いているのですが、以下のような出力が得られます。 (eq? 5 5) -->#t (eq? 2.5 2.5) -->#f (equal? 2.5 2
2023-02-10 09:03:53 -
[解決済み] 関数型プログラミング言語はいつ使う?[クローズド]
質問 終了 . この質問は オピニオンベース . 現在、回答は受け付けておりません。 この質問を改善したいですか? 質問を更新して、事実と引用で答えられるようにします。 この投稿を編集する . 終了
2023-01-18 10:20:16 -
[解決済み] 中型のClojureサンプルアプリケーション?
質問 ベストプラクティスとして使用できる中規模のClojureサンプルアプリケーション、およびコードとコード構成の観点からそのようなアプリケーションがどのように見えるかを見る良い方法はありますか? ウェブアプリケーションは私にとって特に興味深いものですが、最も重要なことは、プログラムが一般的に有用なこと(例えば、ブログ、バグ追跡、CMS)を行うことであり、現実世界で実装する必要のない数学的な
2023-01-12 12:06:38 -
[解決済み] 関数型プログラミングのメリットは?[クローズド]
質問 現在のところ、この質問は私たちのQ&A形式には適していません。私たちは回答が事実、参考文献、専門知識によって裏付けられていることを期待していますが、この質問はおそらく討論、議論、投票、または拡大した議論を求めるものでしょう。この質問を改善し、再開できる可能性があると思われる場合 ヘルプセンターへ をご覧くだ
2022-12-23 18:36:46 -
[解決済み] Curry-Howard Isomorphismから生じる最も興味深い同値性とは?
質問 私は カレー・ハワード同型 を知ったのは、私のプログラミング人生の中では比較的遅かったのですが、おそらくこのことが、私がこの概念にすっかり魅了された一因となっているのでしょう。これは、あらゆるプログラミングの概念に対して、形式論理における正確な類似性が存在し、その逆もまた然りであることを意味しています。以下は、私の頭の中にある、そのような類縁関係の基本的なリストです。 pro
2022-12-06 23:31:44 -
[解決済み] 純粋関数型言語において、逆関数を得るためのアルゴリズムはあるか?
質問 Haskellのような純粋関数型言語において、関数の逆行列を得る(編集する)ためのアルゴリズムはありますか?また、そうなるように関数をプログラムする具体的な方法はあるのでしょうか? どのように解決するのですか? 場合によっては、そうです! という美しい論文があります。 双方向化を無料で! この論文では、関数が十分に多相性である場合に、完全に自動的に逆関数を導出することが可
2022-11-18 16:01:24 -
[解決済み] 依存型タイピングとは?
質問 依存型付けについて教えてください。 Haskell, Cayenne, Epigramなどの関数型言語の経験がほとんどないので、簡単な言葉であればあるほどありがたいです! どのように解決するのですか? 考えてみてください。まともなプログラミング言語であれば、関数を書くことができ、例えば def f(arg) = result ここで f は値をとります。 arg
2022-10-28 20:07:07 -
[解決済み] Swiftの配列に対する集合演算(union, intersection)?
質問 2 つの配列のセット操作を実行するために使用できる標準的なライブラリ呼び出しはありますか、またはそのようなロジックを自分で実装することはできますか (理想的には機能的に、また可能な限り効率的に)。 どのように解決するのですか? はい、Swiftには Set クラスがあります。 let array1 = ["a", "b", "c"] let array2 = ["a",
2022-10-26 05:10:57 -
[解決済み] 関数型プログラミングにおける「ポイントフリー」スタイルとは?
質問 最近気になる言葉に、「ポイントフリースタイル」というものがありますが、これは何でしょうか? まず、最初に この という質問があり もこの . それから、私は を発見しました。 を見ると、quot;もう一つの話題は、著者がポイントフリースタイルを嫌っていることだそうです。 ポイントフリースタイルとは何でしょうか?どなたか、簡潔な説明をお願いします。それは
2022-09-06 15:12:27 -
[解決済み] Dart: リストのマッピング (list.map)
質問 私は String のような、例えば var moviesTitles = ['Inception', 'Heat', 'Spider Man']; を使いたいのに moviesTitles.map のリストに変換するために Tab Widget のリストに変換します。 どのように解決するのですか? を使用することができます。 moviesTitles.m
2022-07-22 15:11:25 -
[解決済み] なぜLispを学ばなければならないのか?[クローズド]
質問 現在のところ、この質問は私たちのQ&A形式には適していません。私たちは回答が事実、参考文献、専門知識によって裏付けられていることを期待していますが、この質問はおそらく討論、議論、投票、または拡大した議論を求めるものでしょう。この質問を改善し、再開できる可能性があると思われる場合 ヘルプセンターへ をご覧くだ
2022-07-12 18:08:01 -
[解決済み] ヒンドレーミルナーとは?
質問 この用語に出会ったのは Hindley-Milner という言葉に出会いましたが、どういう意味なのかよくわかりません。 以下の投稿を読ませていただきました。 Steve Yegge - 動的言語の逆襲 スティーブ・イェーゲ ピノキオの問題 ダニエル・スピワック Hindley-Milnerとは何なのか?(そしてなぜそれがクールなのか?)
2022-06-11 13:17:09 -
[解決済み] First Class FunctionとHigh Order Functionの違いについて
質問 の違いは何ですか? ファーストクラス機能 と 高次機能 . 私はこの2つのWikiページを読みましたが、かなり似ていますね。 もし同じことを話しているのなら、なぜ2つの用語が必要なのでしょうか? ググってみましたが、有用なものは見つかりませんでした。 どのように解決するのですか? 違いがあります。ある言語が一流関数を持っていると言う場合、その言語は関数を
2022-05-17 16:46:34 -
[解決済み] ステートレス・プログラミングのメリット?
質問 最近、関数型プログラミングについて勉強しています(特にHaskellですが、LispやErlangのチュートリアルも見ています)。コンセプトはとても勉強になるのですが、"no side effects"のコンセプトの実用面がまだ見えてきません。その実用的な利点は何でしょうか?私は関数的な考え方で考えようとしていますが、状態を簡単な方法で保存する能力がないと、ただ過度
2022-05-05 14:14:11 -
[解決済み】なぜ関数型プログラミングはまだ浸透していないのでしょうか?
質問 <パス ロックされた . この質問とその回答は ロック なぜなら、この質問はトピックから外れているものの、歴史的な意義があるからです。現在、新しい回答や交流は受け付けていません。 宣言型/関数型プログラミング(言語)についてのテキストをいくつか読み
2022-04-17 17:23:40
最新
-
LinuxでインターフェースのIPアドレスを取得する
-
WPFでリソースであるアイコンを使用するにはどうすればよいですか?
-
Laravel 6.0での「未定義関数str_slug()の呼び出し」について
-
WildFlyのヒープメモリを増やすには?
-
MessageBox.Showダイアログの「はい」「いいえ」ボタンのテキストを変更するには?
-
FlutterでキーボードのText Input Action Button(return/enterキー)を変更するには?
-
同一線上にある2つのdivブロック
-
ナビゲーションバーの右側に複数のUIBarButtonItemを追加するには?
-
絶対配置を使用することはバッドプラクティスとみなされますか?[クローズド]
-
リアクト転写小道具(1個を除く
おすすめ
-
Eclipse で Maven プロジェクトを作成すると、「Could not resolve archetype」というクレームが発生する [重複] 。
-
ドロップダウンリストのselecteditemをプログラムで設定する
-
切り上げ/切り下げ 瞬間を分単位で表す
-
kubernetesを完全にアンインストールする方法
-
Laravelが更新後に「The bootstrap/cache directory must be present and writable」エラーを投げる。
-
LinearLayoutに子要素がある場合、onClickがトリガーされない
-
アンドロイド マシュマロ。Espressoでパーミッションのテスト?
-
車輪の再発明をせずにREST APIを保護する
-
Jenkinsパイプラインで失敗したステージのリトライオプションを実装するには?
-
がチェックアウトされていない...バンドルインストールしても直らない!