Zennta
ログイン
会員登録
検索
後で読む
お気に入り
お気に入りグループ
検索
Qiita一覧
Zenn一覧
お問い合わせフォーム
利用規約
プライバシーポリシー
1
Star: ProfunctorとしてのReaderT
Profunctor Optics を見渡す
🤩 ひと目でわかる FunctorとMonad ~ UNIT3 THEORYの概要をプレビュー
Profunctorってどう使うの？ 〜Lensで学ぶProfunctor〜
TypeScriptでIMappable(Functor)
1
1
2
3
More pages
次へ
Iteratorに見る“流れ”の設計哲学
Rust
関数型
イテレータ
表現力
抽象構文
Rustのジェネリック関連型：それって何？
プログラミング
Rust
Web
バックエンド
関数型プログラミング入門から実践まで
Python
JavaScript
プログラミング
TypeScript
React の状態管理を簡単にしたい！F-Box の基本の完全ガイド
TypeScript
初心者向け
React
状態管理
F-Box
hom関手を体系的に説明する
圏論
Haskellで圏論を学ぶ その１
Haskell
圏論
profunctor の線形分解
圏論
数学
米田の補題
【Haskell】Point-freeスタイルのすすめ
Haskell
pointfree
圏論の基本概念をJuliaで実装してみた
圏論
Julia
CategoryTheory
AdventCalendar2024
関数型サーバーサイドアプリ開発
purescript
Rust使用者がHaskellを学んだ感想
Haskell
Rust
関数型言語
関数型プログラミング
読書感想文
【翻訳】普遍代数の圏論的理解：Lawvere理論とモナド
圏論
computational_effect
普遍代数
リストのconsの型をA -> list A -> list AではなくA -> list (list A) -> list Aにした型をHaskellとCoq/SSReflectで定義したい
Haskell
Coq
ssreflect
リスト
形式検証
HDKのマイクロソルバのGasAddサンプルの解説
C++
DOP
HOUDINI
HDK
AdventCalendar2024
std::functionと愉快な仲間たち ～move_only_function, copyable_function, function_ref～
C++
ゲームプログラマのための設計：高階関数
C++
設計
gamedev
Prolog タプルとリストの相互変換
Prolog
SWI-Prolog
gnu-prolog
Haskellの実装パターン（メモ）
Haskell
Lensはmodifier関数のファンクター版である
Haskell
関数型プログラミング
FixLang
【翻訳】計算機科学における圏論利用のためのマニフェスト（カテゴリカル・マニフェスト）
圏論
関数型プログラミング
計算機科学
Kokkosのチュートリアルをやってみた #2
Kokkos
CodeIQ:「キャンディ・アンド・チョコレート」問題の解答
Prolog
codeiq
Julia
Kokkosの導入（勉強メモ）
GPU
CPU
performance
Kokkos
fp-ts Functorの内容確認
TypeScript
fp-ts
プレーンテキストと文章順合成記号で理解する圏論
圏論
数学
fp-ts よく参照されているもの一覧
TypeScript
fp-ts
fp-ts そこそこ参照されているもの一覧
TypeScript
fp-ts
fp-ts一覧
TypeScript
fp-ts
C++ 勉強用メモ(閲覧専用)
C++
CodeIQ:「ループ・トラッキング」問題の解答
Prolog
codeiq
Julia
1
2
3
More pages
次へ