Zennta
ログイン
会員登録
検索
後で読む
お気に入り
お気に入りグループ
検索
Qiita一覧
Zenn一覧
お問い合わせフォーム
利用規約
プライバシーポリシー
1
Dart 3.0のSealed Classによる直和型（Union Type）の実装
直和型（Sum Type）の説明
【Dart】sealed classを使った直和型の実装と網羅性チェック
Coproduct で型の直和型をつくる - 僕でもわかるCoproduct -
直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton
Goで直和型風データ構造を生成するDSLをつくってみた
配列の filter で直和型を絞り込むときのユーザー定義型ガードを比較的型安全に書く
1
1
2
3
More pages
次へ
「単一責任の原則」でコーディングしよう〜💪
Dart
リファクタリング
コーディング
Flutter
SOLID原則
Rust開発者がF#に触れてみた
F#
.NET
Rust
関数型言語
関数型プログラミング
英会話セッションの予約システムのワークフローのモデリングをやってみる
F#
DDD
FunctionalProgramming
「すべての」と「ある」
purescript
TypeScriptで『関数型ドメインモデリング』をやってみよう
TypeScript
DDD
関数型プログラミング
ゲームプログラマのための設計：直和の表現にはVariantか継承か
C++
設計
ゲームプログラマのための設計：目次
C++
設計
gamedev
【入門】Go言語の全体をサクッと把握したい（他言語を知っている人向け）
Go
【脱ぬるぽ】代数的データ型のすすめ
Java
データ構造
#代数的データ型
#AlgebraicDataType
#ADT
【paizaコラボ】イキリRustaceanが紹介する面白Rustイディオムn選
Rust
paiza
競プロ
paiza×Qiitaコラボキャンペーン
Rust 100 Ex 🏃【14/37】 フィールド付き列挙型とOption型 ～チョクワガタ～
Rust
Effect.gen みたいな関数を作ってみよう
TypeScript
Coq/SSReflectでコンストラクタ数や構造が引数に依存して変化するInductive型を定義する
Coq
ssreflect
依存型
Inductive
Scala 3でScalaCheckのArbitraryを自動導出：ケースクラス、列挙型、直和型に対応
Scala
ScalaCheck
Scala3
最小二乗法でシステム同定やってみた
Python
制御工学
最小二乗法
システム同定
FixLangで遊ぼう (4) 基礎編: loop関数、共用体、構造体
関数型言語
FixLang
【TypeScript】応用的な型 を使った定義
TypeScript
フロントエンド
エラーが出たら喜べ。エラーをちゃんと出せ。
JavaScript
error
TypeScript
ポエム
Object-Oriented Conference 2024を振り返って
オブジェクト指向
DDD
ドメイン駆動設計
備忘録
カンファレンス・勉強会メモ
Onyxでポリモーフィズムを表現するには？
onyx
AtCoder Beginner Contest 339 振り返り
AtCoder
AtCoderBeginnerContest
なっとく!関数型プログラミングを読んだ
読書
関数型プログラミング
TypeScriptの面白い（であろう）型システム
TypeScript
ドラムの話をします
数学
ドラム
IUOについて誤解していたこと
Swift
プログラミング言語を自作してみる①
関数型言語
ポエム
言語作成
MathComp2 の紹介
Coq
ssreflect
MathComp2
ポリモーフィック関連の解消 - 直和による表現
ポリモーフィック
RDB
SQLアンチパターン
DB設計
ポリモーフィック関連
msgpack4zのcodecを自動導出する
Scala
msgpack
Scala3
【TypeScript】ちょっと応用的な使い方 🤏
TypeScript
1
2
3
More pages
次へ