을 구성 할 수 없습니다,이 얻을 : checking for Haskell 98 compiler...
checking for ghc... ghc
checking ghc version... 7.0
checking whether ghc supports Haskell 98... [1 of 1] Compiling Main (conftest.hs, con
: 좁히는 연산이 플렉시블 호출되는 반면, 경질이라고 residuate 작업. 모든 정의 된 연산은 유연하지만 산술 연산과 같은 대부분의 기본 연산은 추측이 합리적인 옵션이 아니므로 엄격합니다. Prelude> x ++ [3,4] =:= [1,2,3,4] where x free
Free variables in goal: x
Result: success
lodash 흐름 기능은 실제 작성 기능입니까, 아니면 하나처럼 보이지만 빠르게 실행되도록 최적화되어 있고 내가 기대했던 유연성을 희생합니까? 나는 흐름이 카레가 될 수있는 함수를 리턴 할 것으로 기대했지만 대신 Javascript의 arguments 키워드를 사용하는 함수를 돌려 주었다. 따라서 카레는 보류중인 인자가 있다는 것을 알 수 없으며 즉시 호출
나는 술어 논리의 수식을 나타내는 표준 데이터 형식을 사용합니다. 분리에 대한 자연 공제 제거 규칙을 나타내는 기능과 같습니다 d_el p q =
if p =: (Dis r s) && q =: (Neg r) then Just s else
if q =: (Dis r s) && p =: (Neg r) then Just s else
N
처음부터 다시 구현하는 것이 공식 시스템이 더 흥미로울 수 있는지 묻고 싶습니다. 필자는 논리적/선언적 프로그래밍 시스템의 기존 및 오픈 소스 프로젝트를 살펴 보았습니다. 나는 여유 시간에 비슷한 것을 만들거나 적어도 구현의 일반적인 생각을 잡기로 결정했다. 이러한 시스템 중 일부가 논리에서 현대 학술 조사의 표현력과 간결함 및 계산 모델과의 관련성을 대부