Zennta

ログイン会員登録

検索後で読むお気に入りお気に入りグループ

履歴

履歴がありません

Qiita一覧

Zenn一覧

お問い合わせフォーム利用規約プライバシーポリシー

記事がありません

1
2

extensible effects でやっていくドメインロジック記述

ExtensibleEffects

タグ一覧(ランキング順)【直近１年間/上位25,000タグ】【2021/1 更新停止】

Qiitaタグ集計記事

タグ一覧(アルファベット順)【直近１年間/上位25,000タグ】【2021/1 更新停止】

Qiitaタグ集計記事

Freer Effectsが、だいたいわかった: 14 Freer Effectsで、IOモナドなどの既存のモナドを使用する

Freer Effectsが、だいたいわかった: 13 モナドを混ぜ合わせる(開いた型で)

Freer Effectsが、だいたいわかった: 12 OpenUnionを型によって安全にする

Freer Effectsが、だいたいわかった: 11-9 LambdaCase拡張

Freer Effectsが、だいたいわかった: 11-8 言語拡張FlexibleContexts - 3要素タプルを型で整列する

FlexibleContexts

Extensible Effectsでトランザクションモナド“Fujitask”を作る

FunctionalProgramming

関数型プログラミング

extensible-effects

Qiitaのタグ一覧(アルファベット順)

Freer Effectsが、だいたいわかった: 11-7 OVERLAPSプラグマ

OverlappingInstances

IncoherentInstances

Freer Effectsが、だいたいわかった: 11-6 FlexibleInstances拡張

FlexibleInstances

Freer Effectsが、だいたいわかった: 11-5 MultiParamTypeClasses拡張

MultiParamTypeClasses

Freer Effectsが、だいたいわかった: 11-4 DataKinds拡張

Extensible EffectsとTagless Finalで実装するDI

DependencyInjection

Freer Effectsが、だいたいわかった: 11-3 KindSignatures拡張

Freer Effectsが、だいたいわかった: 11-2 TypeOperators拡張

Freer Effectsが、だいたいわかった: 11-1. ScopedTypeVariables拡張

ScopedTypeVariables

Freer Effectsが、だいたいわかった: 10. 存在型による拡張可能なデータ構造(Open Union)

ExistentialQuantification

Freer Effectsが、だいたいわかった: 9. モナドを混ぜ合わせる(閉じた型で)

operational-monad

Freer Effectsが、だいたいわかった: 8. Freerモナド(Operationalモナド)で、いろいろなモナドを構成する

operational-monad

Freer Effectsが、だいたいわかった: 7. FreeモナドとCoyoneda

Freer Effectsが、だいたいわかった: 6. ランクN多相(RankNTypes拡張)の解説

Freer Effectsが、だいたいわかった: 5. 一般化代数データ型(GADTs拡張)の解説

extensible-effects

Freer Effectsが、だいたいわかった: 4. データ族(TypeFamilies拡張)の解説

Freer Effectsが、だいたいわかった: 3. 型シノニム族(TypeFamilies拡張)の解説

Freer Effectsが、だいたいわかった: 2. 存在型(ExistentialQuantification拡張)の解説

ExistentialQuantification

extensible-effects

Freer Effectsが、だいたいわかった: 1. Freeモナドの概要

extensible-effects

Freer Effectsが、だいたいわかった: 0. 導入

extensible-effects

extensible-effects/extensible/freer-effectsの良いところ悪いところ

1
2