algebraic-data-types

4열

1답변

스칼라에서 3 가지 포함 또는 유형의 인코딩

나는 세 개의 필드로 구성된 데이터를 가지고 있는데, String, Int 및 Double이라고 가정 해 보겠습니다. 이들은 모두 선택 사항이지만 모든 필드에 적어도 하나 이상의 필드가 포함되어야합니다. type MyType = String Ior Int Ior Double과 같은 cats.data.Ior을 사용해 보았습니다. 그것은 작동하지만, 실제로 그

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

---

7열

2답변

패턴 일치로 생성 된 함수가 Eq 유형 제약 조건을 가지고 있지만 데이터 생성자를 사용하지 않는 이유는 무엇입니까?

이유 ghci는 I가 패턴 매칭을 통해 제작이 함수 matchInt의 형태 서명에 equality type 제약을 나열 않는다 : 단순 데이터 생성자를 사용할 때 이에 $ ghci GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Prelude> :{ Prelude| matchInt 1 = 3

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

---

1열

1답변

컨테이너 대수 데이터 유형 스칼라

스칼라 유형 시스템에는 익숙하지 않지만 여기에 내가하려고하는 것이있다. 나는 사람을 이름으로 필터링하려고하는 함수가 있는데, 이름이 필터 인 경우에만 실패합니다. case class Person(id: Int, first: String, last:String) def(people: Set[Person], firstName: String, lastName:

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

---

1열

3답변

Graphql에 enum + object 변형 유형 표시

하위 필드가있는 객체 또는 하나 이상의 enum과 같은 유형의 단일 필드 값을 나타내는 변형 필드를 나타내는 것이 가장 좋습니다. 마찬가지로 하나의 싱글 톤 값만있는 경우 null이 허용되는 union이 작동 할 수 있습니다 (다소 어색한 경우 해당 값이 "제로시"라고 느끼지 않는 경우). 그러나 하나 이상의 싱글 톤은 어떨까요? 내 도메인 모델에는 이와

enums graphql algebraic-data-types discriminated-union 2017-12-21

---

1열

1답변

중첩 된 공용체 유형의 패턴 일치

카운트 업/다운 타이머를 모델링하고 있습니다. 원산지 날짜가 설정되면 타이머는 경과 된 시간을 표시하거나 해당 원산지 날짜까지 남습니다. type OriginDefined = Up Date | Down Date type Origin = OriginDefined | OriginUndefined type Model

elm algebraic-data-types 2017-12-22

---

6열

1답변

반응이없는 스트림을 끊는 .flatMap없이 플로우를 제어하는 ​​방법. distinctUntilChanged와 같은 연산자가 전체 스트림에서 작동하지 못하도록합니다.

State의 다른 구현을 위해 다른 관찰 가능한 로직 체인을 처리하고 싶습니다. 이것은 봉인 된 클래스/대수 데이터 형식/공용체 + .flatMap()을 사용하여 쉽게 얻을 수 있지만 .distinctUntilChanged()과 같은 연산자가 .flatMap() 함수 내에서만 작동하고 전체 스트림에서는 작동하지 않는 스트림이 중단됩니다. 스트림 자체. se

rx-java kotlin reactive-programming rx-java2 algebraic-data-types 2017-04-19

---

2열

2답변

스칼라 ADT를 -

이의 내가 이제 다음과 같은 특성 trait Named { def name: String } 다음과 같은 대수 데이터 형식 sealed trait Animal extends Named case object Dog extends Animal { override val name: String = "dog man" } case o

scala deserialization algebraic-data-types 2017-04-27

---

1열

1답변

자바에서 혼합 데이터 형식을 사용하는 수학 방정식

인구 (p0)가 특정 수의 사람 (p)으로 증가하거나 감소하는 데 걸리는 시간 (nbYear)을 계산하는 데 문제가 발생했습니다. 인구는 1 년에 백분위 수 (%)와 추가 사람들 (aug)만큼 증가/감소 할 것입니다. public static int nbYear(int p0, double percent, int aug, int p) { int nb

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

---

0열

1답변

OCaml의 내가이</p> <pre><code>type ('a, 'b) btree = Empty | Node of ('a, 'b) * ('a, 'b) btree * ('a, 'b) btree </code></pre> <p>같은 것을 구성하려고 이진 트리

의 형식 생성자를 수락하지하지만 첫 별표입니다 주위 구문 오류를 말한다.

ocaml algebraic-data-types 2017-10-07

---

-1열

1답변

어떤 유형의 대수 데이터 형식이 Option [T] 또는 Optional입니까? <T>

두 가지 유형의 대수 데이터 형식 (ADT)이 있습니다. 스칼라에서 Option[T] 또는 자바에서 Optional<T> 인 경우, 이것이 합계 유형 또는 제품 유형의 예입니까?

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

---