parametric-polymorphism

0열

1답변

임의 모나드 변압기 스택

가 나는 동안, 지정된 스택의 상단과 하단으로, 모나드 변압기 스택을 받아들이는 기능을 만들려고하고있는 다음 코드 본질적으로 import Control.Monad.Trans import Control.Monad.Trans.Except import Control.Monad.Trans.State newtype MyTransT m a = MyTransT

haskell monads monad-transformers parametric-polymorphism 2016-07-26

---

1열

1답변

시퀀스 식과 다형성 재귀가 함께 어떻게 작동합니까?

This project은 실제로 나를 위해 sourceofquestions입니다. 나는 다형성 재귀에 대해 이미 배웠고 특별한 경우 인 이유를 이해하고 있으며 따라서 F #에는 전체 형식 주석이 필요합니다. 정규 기능의 경우 약간의 경매가 필요할 수 있지만 일반적으로 올바르게 처리됩니다. 이제는 (작동하는) 기본 toSeq을보다 특수화 된 손가락 트리에 적

f# seq recursive-datastructures parametric-polymorphism computation-expression 2016-11-14

---

3열

2답변

Java 2 수준 매개 변수화 된 형식 추론

와일드 카드 매개 변수화 된 형식을 반환하는 일부 코드가 있습니다. 이 방법을 매개 변수 방식으로 전달하려고하지만 컴파일러 오류가 발생합니다. 누군가가 왜 유형이 일치하지 않는지 내게 설명 할 수 있습니까? 이것을 고치는 가장 좋은 방법은 무엇입니까? static <L extends List<T>,T extends Number> void useList(L

java generics parametric-polymorphism 2016-11-14

---

1열

1답변

우주 다형성의 적절한 사용

나는 가능한 한 많은 수준의 다형성을 무시하고 Agda 프로젝트에서 2 주간 작업했습니다. 불행하게도 (또는 다행스럽게도) 나는 그것을 이해하기 시작할 필요가있는 지점에 도달 한 것 같습니다. 지금까지 수준 변수는 Rel (또는 세 번째 인수 인 REL)의 두 번째 인수로 필요할 때만 사용했습니다. 그렇지 않으면 나는 단지 Set을 사용하여 그들을 생략했습

set hierarchy agda parametric-polymorphism 2014-01-06

---

3열

1답변

파라 메트릭 유형의 Scalacheck/Scalatest

scalatest 및 scalacheck를 사용하여 일반 스택을 테스트하고 싶습니다. 지금까지 나는 이것을 가지고있다 : "Stack" should "pop the last value pushed" in { check(doPushPop(element)) } def doPushPop[T](element : T) : Boolean = {

scala scalatest scalacheck parametric-polymorphism 2014-11-02

---

2열

1답변

OCaml의 다형성 구현

let polymorphism을 OCaml으로 혼동합니다. 다음 코드를 고려하십시오 : A와 B에 대한 A: let f = (fun v -> v) in ((f 3), (f true)) B: let f = (fun v -> v) in ((fun g -> let f = g in f) f) C: let f = (fun v ->

ocaml type-inference parametric-polymorphism 2014-01-09

---

2열

3답변

Haskell에서 입력 인자가 가능한 두 가지 유형의 함수를 정의 할 수 있습니까?

필자는 하스켈에서 Integers 또는 Chars 두 가지 인수를 취하는 함수를 정의하고자합니다. 그것은과 같이, 인수의 몇 가지 사소한 검사를 수행합니다 foo 1 2 = 1 foo 2 1 = 0 foo 'a' 'b' = -1 foo _ _ = -10 그것의 인수 유형 민 또는 숯불의 여부를 알 수 없기 때문에 내가 컴파일되지 않습니다 알고이.

haskell pattern-matching parametric-polymorphism 2014-12-25

---

0열

1답변

Java ClassCastException 매개 변수가있는 유형 E를 일반 인스턴스 "new ClazzXXX <E>()"

에서 가져 오는 중 아래 예제를 실행하려면 다음을 실행하십시오. Home<String>을 확장하는 StringHome 인스턴스의 일반 클래스를 쉽게 얻을 수 있지만 new Home<String>() 인스턴스를 사용하여 동일한 작업을 수행 할 수 없습니다. 어떻게 얻을 수 있습니까? 내 목표는 mainKO으로 작동하며, mainOK으로 작동합니다. impor

java class generics generic-programming parametric-polymorphism 2016-07-01

---

3열

1답변

바인더의 모나드 치환

다음 Agda 코드에서 드 브루 인 인덱스를 기반으로 한 용어 언어가 있습니다. 바인더 아래에서 대체 작업을 진행할 수 있도록 이름 바꾸기를 사용하여 일반적인 Bruijn 인덱스 방식으로 조건에 따라 대체를 정의 할 수 있습니다. 내가 지금하고 싶은 무엇 module Temp where data Type : Set where unit : Typ

monads substitution agda parametric-polymorphism 2014-06-23

---

9열

2답변

ad-hoc 다형 함수와 파라 메트릭 다형 함수 사이를 변환하는 좋은 방법

ad-hoc 다형 함수와 파라 메트릭 다형 함수 사이를 변환하는 일반적인 방법이 있는지 궁금합니다. 다른 말로 표현하면, ad-hoc 다형 함수가 주어지면 매개 변수를 구현하는 방법은 무엇입니까? 그 반대의 경우는 어떨까요? 예를 들어 sort을 취하십시오. 그것은 sortBy의 측면에서 sort :: Ord a => [a] -> [a] 쓰기 쉽다 : so

haskell reflection parametric-polymorphism adhoc-polymorphism 2016-07-12

---