Discriminated Unions for Static Data

オープン

#392 2017年4月12日に作成コメント 2 件リアクション 1 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 5/5
見積もり時間: 1週間以上
初心者へのやさしさ: 25/100

issue の種類: 機能追加
明瞭さ: 説明が足りない
活発さ: 停滞
技術スタック: fsharp, sql
領域: databases

調査の方向性

issue ではファイルやテストが指定されていないため、まず既存の Individuals 機能と、それが依存する query/type-provider のパスを読みます。これらのエントリポイントを、ここで示されている手動の ContentTypeId projection と比較します。完了の条件は、discriminated-union foreign-key IDs をそのマッピングなしで直接使用できることです。

索引モデルが issue の本文から書いたものです。

説明

enhancement

Another question, but are there any plans for allowing discriminated unions to be used as the type for foreign key IDs to static data? I know entity framework supports this with enums but it would be handy to be able to use discriminated unions for obvious reasons:

type ContentTypeId =
  | Book
  | Magazine
  | Newspaper

...

let printData item =
  match item.ContentTypeId with
  | Book -> printfn "Found a book with id: %d" item.Id
  | Magazine -> printfn "Found a magazine with id: %d" item.Id
  | Newspaper -> printfn "Found a newspaper with id: %d" item.Id

It's possible to do this now by mapping the ID when projecting results:

let getContentTypeId = function
  | 1 -> Book
  | 2 -> Magazine
  | 3 -> Newpaper

...

query {
  for item in ctx.Dbo.Media do
  select
    { contentTypeId = getContentTypeId item.contentTypeId;
    }
}

This can get tedious and is pretty brittle, and an auto-generated solution would be preferable if possible. The infrastructure for the Individuals feature would probably be reusable to accomplish this?

主要言語: F#
スター: 627
フォーク: 147
平均マージ: 2時間 2分
マージ済み PR（30日）: 1

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

fsprojects/SQLProvider のほかの issue

Support for json configuration as well as the xml オープン

enhancement

難易度 3/5 1〜2日初心者へのやさしさ 55/100

fsprojects/SQLProvider#872 · コメント 2 件 · 2026年3月16日に作成
Repo Assist? オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 10/100

fsprojects/SQLProvider#870 · コメント 1 件 · 2026年3月8日に作成
Npgsql 10.0 compatibility: DATE columns throw InvalidCastException due to DateOnly default mapping change オープン

postgresql

難易度 4/5 3〜5日初心者へのやさしさ 58/100

fsprojects/SQLProvider#869 · コメント 2 件 · 2026年3月3日に作成
Update docs to not use resolutionPath? オープン

documentation

難易度 2/5 1〜3時間初心者へのやさしさ 42/100

fsprojects/SQLProvider#868 · コメント 2 件 · 2025年11月27日に作成
Azure synapse sql support (MSSQL provider) オープン

sql server

難易度 4/5 3〜5日初心者へのやさしさ 45/100

fsprojects/SQLProvider#851 · コメント 1 件 · 2025年8月22日に作成

fsprojects/SQLProvider の issue をすべて見る

似ている issue

harbor-db: missing STOPSIGNAL turns every container stop into an unclean shutdown オープン

難易度 1/5 1時間未満初心者へのやさしさ 75/100

goharbor/harbor#23989 · 2026年9月23日に作成
[Bug] 知识库写入失败：document_storage.py 使用 naive datetime 导致 SQLModel 报错オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 88/100

AstrBotDevs/AstrBot#10205 · 2026年9月23日に作成
column_count panics when called before the statement is executed オープン

難易度 2/5 1〜3時間初心者へのやさしさ 72/100

duckdb/duckdb-rs#869 · 2026年9月23日に作成
Update demo setup database to be `webapi` type オープン

難易度 2/5 1〜3時間初心者へのやさしさ 70/100

OHDSI/Data2Evidence#3394 · 2026年9月23日に作成
MultiScan: ~ScanIterator() asserts on the status operator++ just threw, so reaching max_prefetch_size aborts instead of raising MultiScanException オープン

難易度 2/5 1〜3時間初心者へのやさしさ 84/100

facebook/rocksdb#15255 · 2026年9月23日に作成

Databases の issue をもっと見る