サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
CES 2025
qiita.com/lex_naturalis
これはRust Guide (0.12.0 nightly) http://doc.rust-lang.org/guide.html の日本語訳です。 このページは前半§01-§14の翻訳です。後半§15-§27はhttp://qiita.com/lex_naturalis/items/dbef84b7788efbd30e21 です。 みなさん！ Rustガイドへようこそ。Rustでどうやってプログラミングをするかをお知りになりたければ、ここがその場所になります。Rustは「素のハードウェア上での高水準なプログラミング」、つまりプログラミング言語というものに可能な限りで低水準のコントロールを、しかしながら、ゼロコストで高水準の抽象とともに ― というのも人間はコンピューターではないわけですから ― 提供するということにフォーカスした言語です。私達はRustが特別なものだと本気で考えています
予は如何にしてMonadophobiaを克服しつつあるか Monadについて実は数日前にようやく理解しはじめた。思えば10年前に最初にそれが函手(functor)だって教えてくれれば、少なくとも簡単なイメージ形成と基礎的な使い方はすぐに理解できたのに、と思う。HaskellのMonadを理解するために圏論を理解する必要はありません、ってのは本当かもしれないが、函手だって言われれば直観的にはすぐに理解できる。要は fmap はHaskellの函数全体が作る圏からその部分圏への函手です、fmapで函数の構造を保存したまま部分圏の函数が得られますよ、というか函手の条件を満たすようなfmapを提供することによってそういう構造保存的な部分圏を提供するんですよ、というだけのことである。ところが、部分圏の射自体がHaskellの圏の射だから、当の函手が自分自身に適用されてm (m a)のようにMonad
このページを最初にブックマークしてみませんか？
『@lex_naturalisのマイページ - Qiita』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
