サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
igrep
id:igrep
●
25,990
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.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
(37)
●
Debian
(17)
●
ECMAScript
(26)
●
Edge
(31)
●
Eight
(23)
●
F#
(15)
●
FRP
(23)
●
Fintech
(21)
●
Firefox
(106)
●
Flash
(42)
●
GC(25)
●
GMO
(37)
●
GPU
(29)
●
GTD
(27)
●
GUI
(43)
●
Git
(255)
●
Gmail
(26)
●
Google
(445)
●
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
(45)
●
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
(21)
●
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
(470)
●
scala
(77)
●
security
(948)
●
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)
●
スマートフォン
(58)
●
セキュリティ
(92)
●
セクハラ
(28)
●
チャット
(20)
●
テスト
(265)
●
テレビ
(46)
●
デザイン
(48)
●
デバッグ
(119)
●
デマ
(64)
●
データベース
(65)
●
データ構造
(35)
●
トランプ大統領
(26)
●
ドキュメント
(45)
●
ドメイン
(22)
●
ネタ
(568)
●
ネット
(20)
●
ネットワーク
(45)
●
バグ
(19)
●
バージョン管理
(19)
●
パスワード
(29)
●
パーサー
(24)
●
ビットコイン
(33)
●
ビルドツール
(33)
●
フォント
(28)
●
フリーソフト
(20)
●
ブラウザ
(166)
●
ブラック企業
(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)
●
地図
(18)
●
地震
(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)
●
政治
(399)
●
教育
(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)
●
画像処理
(49)
●
痴漢
(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
(948)
●
webサービス
(893)
●
webassembly
(841)
●
仕事
(632)
●
ネタ
(568)
●
Ruby
(539)
●
rust
(470)
●
COVID-19
(454)
関連タグで絞り込む (14)
●
ghc
●
haskell
●
http
●
Lens
●
ProtocolBuffers
●
scala
●
モナド
●
ライブラリ
●
圏論
●
型レベルプログラミン
●
手前味噌
●
数学
●
機械学習
●
正規表現
タグの絞り込みを解除
Haskellとlensに関するigrepのブックマーク (44)
●
4 users
●
www.haskellforall.com
●テクノロジー
This post documents my favorite lens trick of all time. Also, this trick works for any optics package based on van Laarhoven lenses, like lens-family-core or microlens. This post assumes some familiarity with lenses, so if you are new to lenses then you might want to first read: Control.Lens.Tutorial The title is slightly misleading and the precise statement is that Folds are Monoids, and all of t
igrep
2021/09/11
●haskell
●lens
●
1 user
●
frasertweedale.github.io
●テクノロジー
igrep
2020/12/27
●haskell
●lens
●
4 users
●
icicle-lang.github.io
●テクノロジー
Using traversals and a simple fixpoint monad, we can efficiently crunch Icicle expressions to a minimal, efficient kernel. This speeds up downstream compilation, reduces generated code size, and makes our queries run faster. Icicle is a high level language. The source language has mode polymorphism for error handling and runtime staging, type inference, function abstractions, and syntactic sugar t
igrep
2020/09/13
●Haskell
●lens
●
1 user
●
medium.com/@wigahluk
●テクノロジー
igrep
2020/05/12
●haskell
●lens
●
3 users
●
chrispenner.ca
●テクノロジー
The library presented in this post is one of many steps towards getting everyone interested in the amazing world of Optics! If you're at all interested in learning their ins & outs; check out the comprehensive book I'm writing on the topic: Optics By Example Regardless of the programming language, regular expressions have always been a core tool in the programmer's toolbox. Though some have a dist
igrep
2019/10/09
●haskell
●lens
●正規表現
●
3 users
●
github.com/ChrisPenner
●テクノロジー
Caveat: I'm by no means a benchmarking expert; if you have tips on how to do this better I'm all ears! Search lens-regex-pcre is marginally slower than pcre-heavy, but well within acceptable margins (within 0.6%) Replace lens-regex-pcre beats pcre-heavy by ~10% Modify pcre-heavy doesn't support this operation at all, so I guess lens-regex-pcre wins here :) How can itpossibly be faster if it's bas
igrep
2019/10/08
●haskell
●lens
●正規表現
●
46 users
●
qiita.com/lotz
●テクノロジー
近年、機械学習への応用により自動微分の技術が再び脚光を浴び始めています1。例えばDeepLearningを微分な可能な関数の組み合わせ論へと発展させた微分可能プログラミング2では、プログラミングにより実装した関数の導関数を求める操作が基本的な役割を果たしています。この記事では自動微分に対する理解をより深めるために、自動微分のアルゴリズムをゼロから実装していきたいと思います。
igrep
2019/09/27
●機械学習
●haskell
●数学
●lens
●
1 user
●
github.com/emilypi
●テクノロジー
igrep
2019/07/08
●lens
●haskell
●
3 users
●
qiita.com/lotz
●テクノロジー
この記事はFOLIO Advent Calendar 2018、21日目の記事です。昨日はhajipionによる大規模デザインカンファレンス﹁デザインシップ﹂の着想から開会まで、超ダッシュで振り返る10ヶ月！ #Designship2018でした。 この記事は近年話題に上がることが多くなってきた自動微分を実際に実装することでより理解を深めようというものです。前回の自動微分を実装して理解する︵前編︶では自動微分の定義とフォワードモードの実装を見てきました。今回はリバースモードの自動微分の実装にチャレンジしてみましょう。 リバースモード 現実世界︵特に機械学習︶の関数は一般的に出力の次元より入力の次元のほうが圧倒的に多いので、フォワードモードよりリバースモードの方が効率面で優れている場面が多々あります。しかし一般的なリバースモードの実装方法では数式を組み立てた順番を計算グラフとして保持する必要
igrep
2019/04/03
●haskell
●数学
●lens
●
1 user
●
jappie.me
●テクノロジー
igrep
2019/02/09
●haskell
●lens
●
1 user
●
github.com/mstksg
●テクノロジー
igrep
2018/11/20
●haskell
●型レベルプログラミン
●lens
●
1 user
●
github.com/SuperpowersCorp
●テクノロジー
igrep
2018/06/22
●lens
●haskell
●
3 users
●
medium.com/@russmatney
●テクノロジー
Lenses are immensely useful to the Haskell programmer, but suffer from a discovery problem — without enough exposure or experience, it’s hard to know which operator to use in a given situation. This post provides explanations for common lens operators as well as example-driven references for developers just getting started with lenses. There is prior art for lens-related reading — we’ve pulled tog
igrep
2018/05/26
●lens
●haskell
●
1 user
●
github.com/well-typed
●テクノロジー
igrep
2018/04/03
●haskell
●lens
●
1 user
●
github.com/evertedsphere
●テクノロジー
igrep
2018/03/21
●lens
●haskell
●
1 user
●
github.com/kcsongor
●テクノロジー
igrep
2017/11/21
●haskell
●ghc
●lens
●
1 user
●
qiita.com/aiya000
●テクノロジー
最近lensの各型を調べていて、その理解のうちの1つの関門となったのが、 Lens型のうちGettingとGetter、SettingとSetterの関係だった。 定義をHackageで眺めていたらふと、その2つの-erが-ingの一般化になっていることに気づいた。 なぜ一般化されているのかはまだわかってない このあたりはどこかの論文を読めば書いてあることなのかもしれないけど、僕は論文を読んでいない……。 GetterはGettingの一般化 まずは定義をば。 type Getting r s a = (a -> Const r a) -> s -> Const r s type Getter s a = forall f. (Contravariant f, Functor f) => (a -> f a) -> s -> f s
igrep
2017/08/15
●haskell
●lens
●
16 users
●
syocy.hatenablog.com
●テクノロジー
HaskellのJSON周りについて、こうやるのがいいんじゃないかという私の現在のやり方を書きます。 題材としては、 Swagger Petstore に記されている REST API にリクエストを投げてレスポンスを取り出すというのをやります。 (Swagger ですが scaffold は使わず自分で HTTP クライアントライブラリを使います)。 基本方針は﹁出力は厳密に入力には寛容に﹂(出典失念) です。 もくじ JSONの前に: レコードのフィールドへのアクセス JSONの前に: レコードのデフォルト値 Haskellのデータ型→JSON JSONデータを含むHTTPリクエスト レスポンスにおけるJSONの扱い JSONの前に: レコードのフィールドへのアクセス Haskellのレコード型って、フィールドのゲッターがふつうの関数なのでレコードから値を取り出そうとすると f3 $
igrep
2017/08/15
●haskell
●lens
●
1 user
●
github.com/nboldi
●テクノロジー
igrep
2016/12/29
●haskell
●lens
●
6 users
●
github.com/google
●テクノロジー
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
2016/06/05
●lens
●Haskell
●ProtocolBuffers
1
2
3
次のページ
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵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
Optics are monoids
Refactoring using type classes and optics
Icicle Lang - Traversals as Optimisations
Handling Errors with Profunctor Optics
Optics + Regex: Greater than the sum of their parts
GitHub - ChrisPenner/lens-regex-pcre: Text lenses using PCRE regexes
自動微分を実装して理解する︵前編︶ - Qiita
GitHub - emilypi/lens-process: Optics for system processes
自動微分を実装して理解する︵後編︶ - Qiita
Lens into wrapped newtypes / Jappie
GitHub - mstksg/lens-typelevel: Type-level lenses using singletons because why not
GitHub - SuperpowersCorp/refactorio: Refactorio is a tool with which you build and maintain software.
Haskell Lens Operator Onboarding
GitHub - well-typed/optics: Optics as an abstract interface
GitHub - evertedsphere/silica: optics for Haskell with the most amazing type errors you've seen
GitHub - kcsongor/generic-lens: Generically derive traversals, lenses, and prisms.
Lensの-erは-ingの一般化である︵Getter,Setter︶ - Qiita
HaskellとJSON、そしてレコード型 - syocy’s diary
GitHub - nboldi/references: First-class functional references generalized for monadic and IO computations.
GitHub - google/proto-lens: API for protocol buffers using modern Haskell language and library patterns.