Zennta
ログイン
会員登録
検索
後で読む
お気に入り
お気に入りグループ
検索
Qiita一覧
Zenn一覧
お問い合わせフォーム
利用規約
プライバシーポリシー
1
Dart 3.0のSealed Classによる直和型（Union Type）の実装
直和型（Sum Type）の説明
【Dart】sealed classを使った直和型の実装と網羅性チェック
Coproduct で型の直和型をつくる - 僕でもわかるCoproduct -
直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton
Goで直和型風データ構造を生成するDSLをつくってみた
配列の filter で直和型を絞り込むときのユーザー定義型ガードを比較的型安全に書く
1
前へ
More pages
3
4
5
More pages
次へ
V プログラミング言語
和訳
v
V_Programming_Language
vlang
Go2のジェネリクスがこうなったらいいのにという妄想を書く
Go
TypeScript
妄想
もう諦めない圏論入門―対象と射―
Haskell
圏論
数学
続・雑に始める CWL！
cwl
common-workflow-language
Scalaで論理体系を作る話 - 1. 命題論理その1
Scala
命題論理
述語論理
Scala2.12
Elm初心者がElm 0.19でライフゲームを作ってハマったところ
Elm
Chiselとは何者か、なぜRISC-Vで使われているのか
HDL
Chisel
RISC-V
組織の新言語導入(JS→TypeScript→Elm)で成したかった組織づくりの話
TypeScript
Elm
C++のエラー処理との付き合い方
C++
ポエム
SwiftのEnumで見る代数的データ型ついて
代数型
Swift
データ型
Swift4
代数的データ型
Elmで体験する関数型言語の面白さ
Elm
関数型プログラミング
Toeplitz Inverse Covariance-based Clustering ~時系列クラスタリング~
機械学習
時系列解析
時系列クラスタリング
Freeモナドの合成
Haskell
purescript
TemplateHaskell不要なレコードアクセサgeneric-len（およびGeneric・DeriveGenericとは）
Haskell
ghc
lens
Haskellのフロントエンド開発をEDSLでモダンにする
Haskell
開発環境
development
フロントエンド
Android開発においてKotlinでsealedを使った代数データ（直和）型のクラスをParcelableにする話。
Android
Kotlin
Parcelable
Kotlin言語において既存の似ているクラスを変更しないで同じものとして扱いたい。sealedを使って代数的データ型（直和型）で表現できた話。
Kotlin
GHC言語拡張の一覧
Haskell
ghc
Swiftの列挙型はなぜ強いのか
Swift
Haskellにおける型レベルプログラミングの基本(翻訳)
Haskell
Coq のカリー・ハワード同型周辺について
Coq
定理証明
Pythonで、ある半群の系列について考察する（表現論）
Python
numpy
数学
線形代数
代数学
半群の表現論に触れてみる（Pythonで）
Python
numpy
数学
線形代数
代数学
Elmの型システムを少しだけ覗いてみる
Elm
区間代数と無限小と無限大
Haskell
区間演算
代数
浮動点小数
YampaでFunctional Reactiveな認知行動療法ボット
Haskell
FRP
yampa
CBT
Rustのいいところ
Rust
Arrowを理解する
Haskell
Arrow
Rustに１００日触れてわかったこと
Rust
Elmでオブジェクト指向プログラマのための関数型入門
Java
オブジェクト指向
デザインパターン
Elm
関数型プログラミング
前へ
More pages
3
4
5
More pages
次へ