«type-systems» 태그된 질문

정적 유형 언어와 비교하여 동적 유형 언어의 장점과 한계는 무엇입니까? 또한보십시오 : 동적 언어의 사랑으로 무엇입니까 (훨씬 더 논쟁적인 스레드 ...)

205 programming-languages  dynamic-languages  type-systems 

이 글을 쓸 때의 차이점은 무엇입니까? data Book = Book Int Int 대 newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

Wikipedia 기사 Existential types를 읽었습니다 . 나는 실재 연산자 (∃) 때문에 실재 유형이라고 불렀습니다. 그래도 그 요점이 무엇인지 잘 모르겠습니다. 차이점은 무엇입니까 T = ∃X { X a; int f(X); } 과 T = ∀x { X a; int f(X); } ?

171 language-agnostic  types  type-systems  existential-type 

나는 여러 출처에서 "Haskell이 점차 의존형 언어가되고있다"라는 의견을 반향시켰다. 더 많은 언어 확장으로 Haskell은 일반적인 방향으로 표류하고 있지만 아직은 그렇지 않습니다. 기본적으로 알고 싶은 두 가지가 있습니다. 첫 번째는, "종종 의존형 언어"라는 것이 실제로 무엇을 의미 하는가? (기술적으로 너무 기술적 인 일이 없기를 바랍니다.) 두 번째 질문은 ... 단점은 무엇입니까? …

161 haskell  type-systems  dependent-type 

이 블로그 에서이 코드를 볼 수 있습니다 : Scala의 Type-Level Programming : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type Next = …

131 scala  type-systems 

이전에는 실험적인 기능이었던 의존적 메소드 유형이 이제 기본적으로 트렁크에서 활성화되었으며 , 이는 약간의 흥분을 불러 일으켰습니다. 스칼라 지역 사회를. 처음에는 이것이 무엇이 유용한 지 즉시 알 수 없습니다. Heiko Seeberger는 여기 에 의존적 인 메소드 유형의 간단한 예를 게시 했습니다. 코멘트에서 볼 수 있듯이 메소드의 유형 매개 변수를 사용하여 쉽게 …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

Scala에는 경로 종속 유형이 있다고 들었습니다. 내부 클래스와 관련이 있지만 이것이 실제로 무엇을 의미하며 왜 내가 관심을 갖는가?

125 scala  type-systems  path-dependent-type 

주어진 : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo 다음 String의 인스턴스 를 만들고 싶습니다 Fooable. instance Fooable String where toFoo = FooString GHC는 다음과 같이 불평합니다. Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems