Advanced functional programming in TypeScript: monads and generators
Advanced functional programming in TypeScript: monads and generators 2018-03-19 Welcome to the second post in the series. In the first one, you had a chance to build your first monad in TypeScript. In this post, you’ll see how to take advantage of generators to make the monadic code more readable. You can find all the code from the series in this repository. Check out different branches for code r
GitHub - gcanti/fp-ts: Functional programming in TypeScript
Functional programming in TypeScript 📢 Important Announcement: fp-ts is Joining the Effect-TS Ecosystem! We are excited to announce that the fp-ts project is officially merging with the Effect-TS ecosystem. This is a significant step forward in the functional programming landscape, bringing together two powerful libraries under one roof. Giulio Canti, the author of fp-ts, is being welcomed into t
Van laarhoven lens
4. Scala でLens を使うモチベーション ネストした構造に対するcopy メソッドのネスト地獄 様々なデータを共通のインターフェースで操作できる 非侵入的に外側から追加できる 特定のアーキテクチャに依存しない概念 汎用的に使える などなど
Domain Modeling with Functions - an algebraic approach
The document discusses domain modeling using an algebraic approach with functions. It explains that a domain model describes entities, attributes, roles, relationships and constraints in a problem domain. It advocates modeling the domain as an algebra of types and functions, with types representing entities and functions representing behaviors. This approach uses algebraic data types to define imm
「関数型言語」に関するFAQ形式の一般的説明 - Qiita
前置き： 特定の言語ではなく、関数型言語一般に関する説明です。 ここに書くのが良いのかわかりませんが、それを考える時間ももったいないのでとりあえず書きます。必要が生じたら移転します。 皆様のご要望や自分の気分(?)により随時加筆修正します。 「それは違うんじゃない？」というご指摘はもちろん、初心者の方の素朴な疑問・質問や、「ここがよくわからない」「こういうことも書いてほしい」みたいなコメントも歓迎します。すぐに対応できない場合もあると思いますがすみません。Twitterのesumii宛でも構いませんが、コメントのほうが他の方も見つけやすくて良いと思います。当然ながら（他者に対しても）誹謗中傷等はご遠慮ください。 いただいたコメントはほぼ本文に反映していますので、本文を読むために、必ずしもコメントを読む必要はありません。もちろん、興味と余裕(?)があればコメントも読んでいただければ非常に有用
Functional and Reactive Domain Modeling
Prompt Engineering in Practice—Save 45% TODAY ONLY!
Introduction · mostly-adequate-guide (old)
About this book This is a book on the functional paradigm in general. We'll use the world's most popular functional programming language: JavaScript. Some may feel this is a poor choice as it's against the grain of the current culture which, at the moment, feels predominately imperative. However, I believe it is the best way to learn FP for several reasons: You likely use it every day at work. Thi
Scalaの「高カインド型」について調べてみました。 - Qiita
現在Scalaに入門中なのですが、「高カインド型」(Higher kinded types)という用語の意味がよく分からなかったので調べてみました。 参考資料 独習 Scalaz — 型を司るもの、カインド Iterator パターンの本質 | eed3si9n カインド (型理論) - Wikipedia Scala: Types of a higher kind | Atlassian Blogs 用語の前提 型とカインド 型 - 値に付いているラベルのこと。(Int, String、List[Int]等) カインド - 基本型もしくは型コンストラクタ(後述)に付いているラベルのこと。(A, F[A]等) 注) 上記の「A」のように、型パラメータを必要としない型を「プロパー型」「基本型」もしくは「データ型」という。 Aは「*」、F[A]は「* -> *」のようにして表す記法もある。(む
猫番 — State データ型
State データ型 不変 (immutable) なデータ構造を使ってコードを書いていると、 何らかの状態を表す値を引き回すというパターンがよく発生する。 僕が好きな例はテトリスだ。テトリスの関数型の実装があるとして、 Tetrix.init が初期状態を作って、他に色々な状態遷移関数が変換された状態と何らかの戻り値を返すとする: val (s0, _) = Tetrix.init() val (s1, _) = Tetrix.nextBlock(s0) val (s2, moved0) = Tetrix.moveBlock(s1, LEFT) val (s3, moved1) = if (moved0) Tetrix.moveBlock(s2, LEFT) else (s2, moved0) 状態オブジェクト (s0, s1, s2, …) の引き回しはエラーの温床的なボイラープレート
Shapelessの紹介
class: center, middle # Shapelessの紹介 <a style="font-size: 10%" rel="license" href="https://creativecommons.org/licenses/by/2.1/jp/"><img alt="クリエイティブ・コモンズ・ライセンス" style="border-width:0" src="https://i.creativecommons.org/l/by/2.1/jp/88x31.png" /></a> 2014年10月25日 [函数型なんたらの集い 2014](https://connpass.com/event/8634/) --- class: middle <img src="https://pbs.twimg.com/profile_images/1931553270/xuwei.gif"
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Functional TypeScript: Either vs Validation
Javaslang Docs – Java Slang
GitHub - staltz/xstream: An extremely intuitive, small, and fast functional reactive stream library for JavaScript
今から始める Lens/Prism
GitHub - tc39/proposal-pipeline-operator: A proposal for adding a useful pipe operator to JavaScript.
翻訳: ”命令型のコールバック、関数型のプロミス: Node が逸した最大の機会” by James Coglan
これがわかるとshapelessのコードも読めるかもしれない
GitHub - scala-exercises/scala-exercises: The easy way to learn Scala.
Thinking in Cats
https://worrydream.com/refs/Hughes_1990_-_Why_Functional_Programming_Matters.pdf