하스켈의 함수 적용 대신 함수 이름 연결이 함수 구성과 동일하다는 독창적 인 개념의 연결 언어에 대해 배우고 있습니다. Joy, Forth 또는 Factor는 접미어이며 스택 기반이지만 옴과 같은 몇 가지 접두사 연결 언어가 있습니다. 하스켈 변형이 이론적으로 구성 우선 순위 (현재 9)를 응용 프로그램 우선 순위 (현재 10)로 바꾸거나 (또는 동등
ed의 입력 형식을 모방하는 텍스트 편집기를 작성하려고합니다. ed에서 한 번에 한 줄씩 입력하고 한 줄에 하나의 .을 입력하면 완성됩니다. 여기에 내가 무엇을 최대 온의 : 0 [
[ readln [ "." = not ] keep swap ] dip 1 + swap
] loop
nip 1 - narray
이 조각은 한 번에 사용자 한 줄에
고차 결합 자 (또는 함수 생성자)는 정확히 concatenative 및 tacit programming에 어떤 역할을합니까? 스택을 직접 조작하지 않고 연결 프로그래밍 언어를 구현하는 다른 방법이 있습니까? 언급 된 결합 자와의 관계는 어느 정도입니까? Schonfinkel의 combinatory logic은 어느 정도입니까?
동시성이있는 기본 문제가 concatenative languages입니까? 아니면 단순히 누락 되었습니까? 아니면 뭔가 누락 되었습니까? 필자가 아는 한 현재 가장 발전된 연결 언어는 Factor이며 여전히 a co-operative threading system that doesn't use multiple cores입니다. 아마 Factor의 발명가 인
하스켈에서 Forth와 유사한 DSL을 작성하기 위해 최근의 하스켈 블로그 활동 에 영감을 받았습니다. 이 꽤 잘 작동, {-# LANGUAGE TypeOperators, RankNTypes, ImpredicativeTypes #-}
-- a :~> b represents a "stack transformation"
-- from stack typ
Forth에는 스택과 리턴 스택이 있습니다. 내가 아는 한, 리턴 스택의 포인트는 프로그램 카운터의 이전 값을 저장하는 것이다. C 프로그램은 프로그램 카운터의 이전 값을 스택에 넣고 반환 스택을 사용하지 않습니다. Forth는 결과 스택에 결과를 반환하기 때문에 return-stack 만 필요하므로 프로그램 카운터의 이전 값을 묻을 수 있습니까?