さらなる型安全性を求めて ~ 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
8.1. 数値データ型
smallint、integer、bigintは各種範囲の整数、つまり小数点以下の端数がない数を保持します。 許容範囲から外れた値を保存しようとするとエラーになります。 integer型は数値の範囲、格納サイズおよび性能において最も釣合いが取れていますので、一般的に使用されます。 smallint型は通常はディスク容量に制限が付いている場合にのみ使用します。 bigint型はintegerの許容範囲では十分ではない場合に使用されるよう設計されています。 SQLでは整数の型としてinteger（またはint）とsmallint、bigintのみを規定しています。 int2、int4およびint8は拡張ですが、いくつか他のSQLデータベースシステムでも使われています。 numeric型は、非常に大きな桁数で数値を格納できます。 通貨金額やその他正確性が求められる数量を保存する時は特に、この型を
型、ついてますか？ - 型の本質を振り返る -
なぜ、動的型付けスクリプト言語の流行りから、再び静的型付けの言語が注目されているのか。 型付けの歴史を振り返り、これからの「型」のありかた、それを実装した処理系のありかたについて考えます。
W3Schools.com
W3Schools offers a wide range of services and products for beginners and professionals, helping millions of people everyday to learn and master new skills. Free Tutorials Enjoy our free tutorials like millions of other internet users since 1999
浮動小数点型
なお，浮動小数点形式の定数リテラルのサフィックス“F”（または“f”），“L”（または“l”）は， “F”はfloat型，“L”はlong double型を示すことになっている． double型のサフィックスはないようだけど，これはリテラルはFかLで指定して， double型にはキャストしながら代入されていくのでOKという意味なんだろう． 参考：Intel x86系CPUの浮動小数点演算中間結果 Intel x86系CPUの場合，double型としては64ビットなのだけど， 演算の中間結果は80ビット（拡張精度）の浮動小数点レジスタスタックに保持していて，精度が高くなっているかもしれない． たとえばVisual C++のデフォルトがこの実装になっていて，演算中は80ビットの拡張精度になる． Visual C++の場合はたいへん複雑なことになっていて， MSDNによると，古い16ビット版Vi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
