Optics are monoids
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
Icicle Lang - Traversals as Optimisations
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
Optics + Regex: Greater than the sum of their parts
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
GitHub - ChrisPenner/lens-regex-pcre: Text lenses using PCRE regexes
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 it possibly be faster if it's bas
自動微分を実装して理解する（後編） - Qiita
この記事はFOLIO Advent Calendar 2018、21日目の記事です。昨日はhajipionによる大規模デザインカンファレンス「デザインシップ」の着想から開会まで、超ダッシュで振り返る10ヶ月！ #Designship2018でした。 この記事は近年話題に上がることが多くなってきた自動微分を実際に実装することでより理解を深めようというものです。前回の自動微分を実装して理解する（前編）では自動微分の定義とフォワードモードの実装を見てきました。今回はリバースモードの自動微分の実装にチャレンジしてみましょう。 リバースモード 現実世界（特に機械学習）の関数は一般的に出力の次元より入力の次元のほうが圧倒的に多いので、フォワードモードよりリバースモードの方が効率面で優れている場面が多々あります。しかし一般的なリバースモードの実装方法では数式を組み立てた順番を計算グラフとして保持する必要
Haskell Lens Operator Onboarding
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
Lensの-erは-ingの一般化である（Getter,Setter） - Qiita
最近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
HaskellとJSON、そしてレコード型 - syocy’s diary
HaskellのJSON周りについて、こうやるのがいいんじゃないかという私の現在のやり方を書きます。 題材としては、 Swagger Petstore に記されている REST API にリクエストを投げてレスポンスを取り出すというのをやります。 (Swagger ですが scaffold は使わず自分で HTTP クライアントライブラリを使います)。 基本方針は「出力は厳密に入力には寛容に」(出典失念) です。 もくじ JSONの前に: レコードのフィールドへのアクセス JSONの前に: レコードのデフォルト値 Haskellのデータ型→JSON JSONデータを含むHTTPリクエスト レスポンスにおけるJSONの扱い JSONの前に: レコードのフィールドへのアクセス Haskellのレコード型って、フィールドのゲッターがふつうの関数なのでレコードから値を取り出そうとすると f3 $
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Refactoring using type classes and optics
Handling Errors with Profunctor Optics
自動微分を実装して理解する（前編） - Qiita
GitHub - emilypi/lens-process: Optics for system processes
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.
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 - ekmett/lens: Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
GitHub - kcsongor/generic-lens: Generically derive traversals, lenses, and prisms.
GitHub - nboldi/references: First-class functional references generalized for monadic and IO computations.