サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
igrep
id:igrep
●
25,995
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.NET
(51)
●
2ch
(58)
●
AI(249)
●
API
(53)
●
ARM
(42)
●
AWS Lambda
(18)
●
ActiveRecord
(17)
●
Advent Calendar
(28)
●
Apple
(95)
●
C(85)
●
C#
(37)
●
C++
(81)
●
CI(64)
●
COVID-19
(454)
●
CPU
(62)
●
CSS
(237)
●
CSV
(15)
●
ChatGPT
(89)
●
Chrome
(305)
●
Chrome OS
(20)
●
Chromebook
(18)
●
C言語
(30)
●
DB(80)
●
DNS
(38)
●
Debian
(17)
●
ECMAScript
(26)
●
Edge
(31)
●
Eight
(23)
●
F#
(15)
●
FRP
(23)
●
Fintech
(21)
●
Firefox
(106)
●
Flash
(42)
●
GC(26)
●
GMO
(37)
●
GPU
(29)
●
GTD
(27)
●
GUI
(43)
●
Git
(255)
●
Gmail
(26)
●
Google
(444)
●
Google Apps Script
(17)
●
Google Home
(38)
●
Google+
(23)
●
GraphDB
(15)
●
GraphQL
(51)
●
IDE
(38)
●
Intel
(34)
●
IoT
(95)
●
Java
(255)
●
JavaScript
(1237)
●
Kubernetes
(116)
●
LGBT
(34)
●
LINE
(55)
●
LLM
(89)
●
LLVM
(41)
●
LaTeX
(49)
●
Lua
(38)
●
Mac
(71)
●
Mastodon
(36)
●
Microsoft
(186)
●
Monad
(76)
●
NHK
(38)
●
Neo4j
(15)
●
NoSQL
(22)
●
OCaml
(44)
●
OS(26)
●
Oracle
(47)
●
P2P
(20)
●
PDF
(42)
●
PHP
(38)
●
PostgreSQL
(87)
●
PowerShell
(44)
●
PureScript
(51)
●
Python
(233)
●
Qiita
(27)
●
R(29)
●
RDB
(24)
●
RDBMS
(21)
●
REST
(21)
●
Raspberry Pi
(16)
●
Ruby
(539)
●
SEO
(23)
●
SIer
(15)
●
SQLite
(17)
●
SVG
(37)
●
Safari
(22)
●
Sansan
(50)
●
Selenium
(28)
●
Swift
(47)
●
TCP
(27)
●
TDD
(18)
●
TLS
(19)
●
Twitter
(216)
●
UI(40)
●
UX(16)
●
Unity
(16)
●
V8
(18)
●
VR(37)
●
Visual Studio
(18)
●
Visual Studio Code
(52)
●
WASI
(79)
●
Web API
(36)
●
WebRTC
(21)
●
WebSocket
(18)
●
Webデザイン
(237)
●
Windows
(325)
●
Windows 10
(59)
●
XML
(16)
●
XSS
(27)
●
Yesod
(39)
●
YouTube
(34)
●
accessibility
(42)
●
amazon
(74)
●
android
(436)
●
aws
(168)
●
azure
(38)
●
bash
(50)
●
benchmark
(16)
●
bot
(23)
●
cabal
(65)
●
canvas
(24)
●
chromium
(24)
●
cli
(113)
●
clojure
(80)
●
cloud
(81)
●
conduit
(22)
●
cookie
(20)
●
coq
(17)
●
cui
(17)
●
cybozu
(20)
●
ddd
(20)
●
devops
(20)
●
dhall
(21)
●
docker
(241)
●
dropbox
(25)
●
eclipse
(15)
●
electron
(25)
●
elixir
(21)
●
elm
(252)
●
emacs
(26)
●
emoji
(33)
●
erlang
(25)
●
eta
(15)
●
ethereum
(19)
●
excel
(44)
●
facebook
(118)
●
framework
(37)
●
gem
(27)
●
ghc
(367)
●
github
(290)
●
gitlab
(51)
●
go(90)
●
golang
(100)
●
google cloud platform
(37)
●
hash
(15)
●
haskell
(3701)
●
haskell-jp
(40)
●
heroku
(28)
●
html
(152)
●
html5
(110)
●
http
(58)
●
http2
(28)
●
https
(23)
●
iOS
(137)
●
iPad
(19)
●
iPhone
(74)
●
ie(38)
●
iij
(108)
●
intellij
(21)
●
jQuery
(33)
●
jenkins
(18)
●
json
(117)
●
jvm
(41)
●
kindle
(23)
●
kintone
(18)
●
kotlin
(84)
●
language server protocol
(18)
●
lens
(48)
●
linux
(375)
●
lisp
(29)
●
markdown
(45)
●
microservices
(22)
●
mixi
(15)
●
moongift
(29)
●
mysql
(128)
●
neovim
(102)
●
news
(344)
●
nginx
(16)
●
nix
(24)
●
node
(53)
●
node.js
(186)
●
note
(71)
●
npm
(53)
●
oauth
(17)
●
oss
(250)
●
pandoc
(18)
●
perl
(19)
●
rails
(186)
●
react
(149)
●
redis
(19)
●
rspec
(29)
●
rust
(468)
●
scala
(77)
●
security
(949)
●
servant
(42)
●
serverless
(42)
●
shell
(35)
●
slack
(94)
●
sns
(200)
●
sony
(20)
●
sql
(107)
●
ssh
(55)
●
stack
(95)
●
svelte
(27)
●
systemd
(18)
●
test
(17)
●
tips
(269)
●
tmux
(29)
●
trouble
(68)
●
tutorial
(28)
●
typescript
(199)
●
ubuntu
(109)
●
unicode
(40)
●
unix
(24)
●
vim
(368)
●
vue.js
(26)
●
wasmer
(24)
●
webassembly
(841)
●
webpack
(20)
●
webサービス
(893)
●
いつか
(318)
●
いつか読む
(21)
●
お金
(30)
●
かわいい
(25)
●
けものフレンズ
(29)
●
これはすごい
(59)
●
これはひどい
(88)
●
はてな
(35)
●
まとめ
(254)
●
アジャイル
(33)
●
アニメ
(102)
●
アプリ
(56)
●
アメリカ
(168)
●
アルゴリズム
(117)
●
イギリス
(30)
●
イベント
(152)
●
インターネット
(117)
●
インド
(53)
●
ウクライナ
(40)
●
エディタ
(25)
●
エネルギー
(17)
●
エロ
(42)
●
オブジェクト指向
(28)
●
オリンピック
(28)
●
オープンソース
(38)
●
カルト宗教
(25)
●
キーボード
(18)
●
グラフ
(23)
●
ゲーム
(137)
●
コミュニケーション
(73)
●
コンビニ
(21)
●
コーディングスタイル
(17)
●
コードレビュー
(15)
●
サイボウズ
(26)
●
サーバ
(38)
●
サーバー管理
(31)
●
スポーツ
(51)
●
スマホ
(49)
●
スマートフォン
(59)
●
セキュリティ
(92)
●
セクハラ
(28)
●
チャット
(20)
●
テスト
(265)
●
テレビ
(46)
●
デザイン
(48)
●
デバッグ
(119)
●
デマ
(65)
●
データベース
(65)
●
データ構造
(35)
●
トランプ大統領
(26)
●
ドキュメント
(45)
●
ドメイン
(22)
●
ネタ
(568)
●
ネット
(20)
●
ネットワーク
(45)
●
バグ
(19)
●
バージョン管理
(19)
●
パスワード
(29)
●
パーサー
(24)
●
ビットコイン
(33)
●
ビルドツール
(33)
●
フォント
(28)
●
フリーソフト
(20)
●
ブラウザ
(167)
●
ブラック企業
(21)
●
ブログ
(34)
●
ブロックチェーン
(45)
●
プラグイン
(52)
●
プリキュア
(238)
●
プレゼンテーション
(30)
●
プログラマ
(29)
●
プログラミング
(296)
●
プログラミング言語
(86)
●
プロジェクト管理
(25)
●
プロファイリング
(20)
●
マスコミ
(86)
●
マナー
(20)
●
マネジメント
(31)
●
マンガ
(29)
●
マーケティング
(20)
●
メディア
(17)
●
メルカリ
(17)
●
メール
(41)
●
モナド
(34)
●
ライセンス
(16)
●
ライブラリ
(119)
●
リモートワーク
(27)
●
ログ
(37)
●
ロシア
(72)
●
ローコード
(65)
●
ワクチン
(54)
●
並列処理
(40)
●
並行処理
(35)
●
中国
(178)
●
中国語
(20)
●
乱数
(18)
●
人工知能
(37)
●
人生
(99)
●
仕事
(632)
●
企業
(138)
●
会社
(34)
●
例外
(36)
●
依存型
(21)
●
個人情報
(79)
●
健康
(76)
●
分散処理
(43)
●
労働
(234)
●
勉強会
(21)
●
動画
(51)
●
北朝鮮
(22)
●
医療
(172)
●
原発
(69)
●
図書館
(21)
●
圏論
(42)
●
圧縮
(26)
●
地図
(19)
●
地震
(22)
●
型
(63)
●
型レベルプログラミン
(33)
●
声優
(23)
●
夏時間
(86)
●
大学
(54)
●
婚活
(77)
●
学問
(81)
●
学校
(48)
●
宗教
(32)
●
寄付
(30)
●
就活
(44)
●
差別
(68)
●
広告
(117)
●
形式手法
(16)
●
心理
(54)
●
心理学
(16)
●
思想
(25)
●
性
(50)
●
性犯罪
(16)
●
恋愛
(33)
●
戦争
(39)
●
手前味噌
(188)
●
投資
(53)
●
携帯
(21)
●
政治
(395)
●
教育
(341)
●
数学
(146)
●
文化
(74)
●
文字コード
(27)
●
旅行
(24)
●
日本
(443)
●
日本語
(103)
●
暗号
(51)
●
暗号通貨
(82)
●
最適化
(27)
●
本
(106)
●
東京
(27)
●
東京オリンピック
(37)
●
東日本大震災
(65)
●
検索
(68)
●
機械学習
(144)
●
欲しい
(74)
●
正規表現
(71)
●
歴史
(141)
●
法律
(149)
●
海外
(20)
●
漫画
(43)
●
災害
(65)
●
炎上
(42)
●
無線LAN
(24)
●
犯罪
(153)
●
環境問題
(57)
●
生活
(46)
●
男女
(157)
●
画像
(158)
●
画像作成
(18)
●
画像処理
(50)
●
痴漢
(28)
●
監視
(29)
●
研究
(23)
●
社会
(71)
●
社会学
(26)
●
科学
(79)
●
税金
(42)
●
組織
(60)
●
経営
(42)
●
経済
(104)
●
結婚
(55)
●
統計
(79)
●
考え方
(365)
●
育児
(104)
●
自殺
(18)
●
自民党
(63)
●
自然言語処理
(28)
●
芸能
(23)
●
英語
(162)
●
著作権
(102)
●
行政
(61)
●
表現の自由
(41)
●
言葉
(54)
●
言語
(58)
●
言語処理系
(34)
●
設定
(17)
●
設計
(43)
●
詐欺
(44)
●
語学
(21)
●
調査
(17)
●
論文
(24)
●
警察
(38)
●
起業
(55)
●
車
(18)
●
転職
(27)
●
農業
(19)
●
遅延評価
(31)
●
選挙
(54)
●
金融
(24)
●
銀行
(22)
●
開発
(176)
●
関数型
(19)
●
関数型プログラミング
(29)
●
防災
(25)
●
障害
(68)
●
電力
(52)
●
電子書籍
(71)
●
静的解析
(38)
●
韓国
(49)
●
音声
(44)
●
音楽
(73)
●
食
(46)
●
香港
(19)
●
高速化
(144)
●
haskell
(3701)
●
JavaScript
(1237)
●
security
(949)
●
webサービス
(893)
●
webassembly
(841)
●
仕事
(632)
●
ネタ
(568)
●
Ruby
(539)
●
rust
(468)
●
COVID-19
(454)
関連タグで絞り込む (3)
●
coq
●
haskell
●
圏論
タグの絞り込みを解除
comonadに関するigrepのブックマーク (5)
●
3 users
●
stackoverflow.com
●テクノロジー
Given any container type we can form the (element-focused) Zipper and know that this structure is a Comonad. This was recently explored in wonderful detail in another Stack Overflow question for the following type: data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving Functor with the following zipper data Dir = L | R data Step a = Step a Dir (Bin a) deriving Functor data Zip a = Zip [Step a] (B
igrep
2018/03/29
●haskell
●comonad
●
1 user
●
www.slideshare.net/davidoverton
●テクノロジー
Comonads are the category-theoretic dual of monads. While monads have been found to be a very useful design pattern for structuring programs in functional languages, such as Haskell, comonads have so far failed to gain much traction. In this talk we will look at what comonads are and how they are defined in Haskell, comparing themwith the Haskell definition of monads. We will then look at some sp
igrep
2018/03/28
●comonad
●haskell
●
2 users
●
bartoszmilewski.com
●暮らし
This is part 23 of Categories for Programmers. Previously: Monads Categorically. See the Table of Contents. Now that we have covered monads, we can reap the benefits of duality and get comonads for free simply by reversing the arrows and working in the opposite category. Recall that, at the most basic level, monads are about composing Kleisli arrows: a -> m b where m is a functor that is a monad.
igrep
2018/03/26
●comonad
●圏論
●
3 users
●
github.com/ekmett
●テクノロジー
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep
2015/10/06
●comonad
●coq
●haskell
●
3 users
●
github.com/ekmett
●テクノロジー
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep
2015/10/06
●comonad
●coq
●haskell
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第3週︶
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第2週︶
お知らせ
はてなブックマーク透明性レポート︵2024年2月-2024年4月︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
Zipper Comonads, Generically
Comonads in Haskell
Comonads
GitHub - ekmett/comonad-extras: Comonad transformers that require Haskell extensions
GitHub - ekmett/comonad-transformers: Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.