algebraic-data-types

1熱

1答えて

Javaの混合データ型の数式。

人口（p0）が特定の人数（p）に増減するのにかかる年数（nbYear）を計算する際に問題が発生しました。人口は1年に百万人民元（％）と追加人口（aug）で増減するだろう。 public static int nbYear(int p0, double percent, int aug, int p) { int nbYear = 0; while(p0 < p){

java equation algebraic-data-types 2017-09-24

---

0熱

1答えて

合計型が合計型と呼ばれるのはなぜですか？私は代数的データ型、合計の種類や製品の種類について読んハスケルを学習する過程で

。製品の種類は、直積と「製品」に類似していますが、すぐに和タイプ（別名バリアント型は別名別名区別組合別名互いに素組合に組合をタグ付け）なぜ私は理解していない私には意味を成していたと呼ばれている合計タイプ。 ウィキペディアは言う： 和型は カリー=ハワード同型対応の下で論理和を直観に対応します。 OK、私はそれを得る：なぜなら OR | | + ----------- 0 0 | 0 | 0

algebraic-data-types discriminated-union 2017-11-14

---

-1熱

1答えて

どの種類の代数データ型がOption [T]またはOptionalであるか<T>

したがって、2種類の代数データ型（ADT）があります。 ScalaのOption[T]またはJavaのOptional<T>の場合、これは合計型または製品型の例ですか？

functional-programming algebraic-data-types 2017-11-26

---

1熱

1答えて

ハードコーディングされたタイプとは異なるセマンティクスを持つジェネリックの[typof T]の理由は？

したがって、typecriptで見つかった秘訣は、タイプをキーと値のペアにマッピングしてから、keyofタイプを使用してマップ内の任意の値にすることによって、オブジェクトタイプを識別されたユニオンに変換することです。ここでは簡単な例です： type SourceType = { foo: number, bar: string }; type MapWithKey<T>

typescript algebraic-data-types typescript-generics 2017-08-25

---

4熱

1答えて

Scalaの3ウェイ以上の型のエンコーディング

私は、3つのフィールドからなるデータを持っています。String、Int、およびDoubleとしましょう。 これらはすべてオプションですが、すべてに少なくとも1つのフィールドが含まれている必要があります。 のようにcats.data.Iorを試しました。それは動作しますが、実際にそれを行うときに少し不器用だと感じます。 case classを3つのOptionで作成し、すべてがNoneの場合はコン

scala algebraic-data-types scala-cats 2017-12-04

---

1熱

1答えて

Rust型システムが代数データ型（ADT）をサポートすることを示す方法は？

Wikipedia's list of programming languages with algebraic data types (ADTs)は、本当にRustにADTがあることを示唆していますが、これがRustに当てはまる理由についての私の解釈が正しいかどうかはわかりません。 値： - ルスト!） - 何の値を取得していないタイプ ゼロ（またはボイド）私はそれを理解し、そのいずれかを言うた

rust algebraic-data-types 2017-07-12

---

7熱

0答えて

パターンマッチングで構築された関数は、Eq型制約を持ちますが、データコンストラクタを使用しているときはなぜですか？

なぜGHCiの私は、パターンマッチングによって構築この機能matchIntの型シグネチャにequality type制約をリストしない：単純なデータコンストラクタを使用する場合とは対照的に $ ghci GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Prelude> :{ Prelude| matchInt 1 =

haskell equality typeclass ghci algebraic-data-types 2017-10-25

---

1熱

1答えて

Scalaのコンテナ代数データ型

Scalaの型システムにはあまりよく慣れていませんが、ここで私がしようとしていることがあります。 私は姓と名で人をフィルタリングしようとする機能を持っていますが、それが最初の名前だけでフィルタに失敗するとします。 case class Person(id: Int, first: String, last:String) def(people: Set[Person], firstName: S

scala scala-collections algebraic-data-types 2017-12-16

---

1熱

1答えて

ネストされたユニオンタイプのパターンマッチング

カウントアップ/ダウンタイマーをモデリングしています。原点日が設定された後、タイマーはどれくらいの時間が経過したか、またはその起点日まで残っているかどうかを表示します。 type OriginDefined = Up Date | Down Date type Origin = OriginDefined | OriginUndefined ty

elm algebraic-data-types 2017-12-22

---