최근에 하스켈을 배우기 시작했고 지금 당장 수업을 시작했습니다. 피아노 (Phano) 번호 클래스를 구성하고이를 Num typeclass에 인스턴스화했습니다. 강의 도중 교수님이 후계자 기능을 S x = x + 1 또는 S x = 1 + x으로 보았는지 여부에 따라 곱셈 정의에 대한 적절한 후속 사례가 달라질 것이라고 내 교수는 주장했습니다. 각각 : x
이것은 후속 조치 a question I asked almost two years ago입니다. 나는 벡터/행렬/텐서의 차원이 (Peano numbering을 가진) 타입 시스템을 사용하여 인코딩되는 작은 선형 대수학 라이브러리를 작성하기 위해 타입 시스템을 실험하고있다. 이를 통해 컴파일러는 이진 연산을 해당 차원의 객체로 제한 할 수 있습니다. 잘 작동