さらなる型安全性を求めて ~ Refinement TypeをScalaで実現する ~
SoRの性質が強いBtoBアプリケーションでは、「堅く」作ることを求められる箇所がしばしばあります。 Scalaの型安全性が頼もしく感じられるのは、まさにこのような箇所においてです。 「堅く」作るために、私たちがいま注目しているのが refined と newtype というライブラリです。 この記事では、refinedとnewtypeを使ってScalaの型安全性をさらに引き出すテクニックを紹介します。 Value Class / Tagged Type refined + newtypeの話題に入る前に、これまでにどのようなテクニックが使われてきたかを簡単に振り返りましょう。 ここに、SNSのユーザーアカウントを表現するクラスがあります。 case class User(id: String, email: String, age: Int) val user1 = User("@tod
TypeScript における変性（variance）について - 30歳からのプログラミング
プログラミングの型システムに関する記事を読んでいると、共変や反変といった用語が出てくることがある。 TypeScript や Flow についての記事でも、見かけることがある。 それらは TypeScript を使う上で必須の知識ではないが、把握しておくに越したことはない。 この記事では、TypeScript を題材にして、変性について説明していく。 TypeScript に関する議論を理解できるようになることがこの記事の目的であり、より詳細な、学術的、数学的な内容には踏み込まない。 この記事の内容は、TypeScript のv3.9.5で動作確認している。 変性 変性（variance）とは、任意の型Tに対してどのような性質を持つのか示したものであり、以下の 4 種類がある。 不変性（invariance） Tそのものが必要 共変性（covariance） Tそのものか、そのサブタイプが
)
クラス ライブラリ開発のデザイン ガイドライン
クラス ライブラリ開発のデザイン ガイドラインは、.NET Framework を拡張し、.NET Framework と対話するためのライブラリを開発するためのものです。 .NET Framework デザイン ガイドラインの目的は、開発に使用されるプログラミング言語に依存しない統一化されたプログラミング モデルを用意することによって、ライブラリ デザイナーが API の一貫性と使いやすさをユーザーに提供できるようにすることです。 .NET Framework を拡張したクラスおよびコンポーネントを開発するときは、これらのデザイン ガイドラインに従うことを強くお勧めします。 一貫性のないライブラリ デザインは、開発者の生産性を損なうだけでなく、ライブラリを採用する意欲を失わせます。 これらのガイドラインは、クラス ライブラリのデザイナーが、さまざまなソリューションの利点と欠点を把握できる
SByte 構造体 (System)
名前空間: System アセンブリ:System.Runtime.dll アセンブリ:mscorlib.dll アセンブリ:netstandard.dll ソース:SByte.cs ソース:SByte.cs ソース:SByte.cs 重要 一部の情報は、リリース前に大きく変更される可能性があるプレリリースされた製品に関するものです。 Microsoft は、ここに記載されている情報について、明示または黙示を問わず、一切保証しません。 public value class System::SByte : IComparable, IComparable<System::SByte>, IConvertible, IEquatable<System::SByte>, IFormattable public value class System::SByte : IComparable, IC
VB.NETのDataTable列（Columns） | ぷろぐらむノート
DataTableで使用する列（Columnsプロパティ）の操作を説明します。 列（フィールド）の追加および主キーの設定をする Dim tbl As DataTable = New DataTable("Table1") Dim PrimaryColumn As DataColumn PrimaryColumn = tbl.Columns.Add("ID", Type.GetType("System.Int32")) tbl.Columns.Add("Item1", Type.GetType("System.String")) tbl.Columns.Add("Item2", Type.GetType("System.String")) tbl.Columns.Add("Item3", Type.GetType("System.Double")) 'フィールドに主キーを設定(IDを主キーに
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
