하스켈을 JVM (컴파일 또는 해석)에서 실행할 수있는 방법이 있는지 궁금합니다.
Sourceforge에 JHaskell이 있지만 이것은 비어 있고 죽은 것처럼 보입니다.
GHC는 LLVM을 컴파일러 백엔드로 사용합니다. LLVM을 Java 바이트 코드로 컴파일하는 것이 좋은 아이디어입니까 아니면 가능합니까? 아니면 다른 컴파일러 백엔드를 사용할까요?
24
GHC FAQ : .NET 또는 JVM에서 GHC를 사용할 수없는 이유는 무엇입니까?
—
Josh Lee
테일 콜 최적화는 여전히 미해결 문제인 것 같습니다. 이것이 Clojure와 같은 다른 기능적 jvm 언어에 특수 구조 (
—
jeha
recur) 가 필요한 이유 입니다.
@jeha : 아뇨, TCO는 쉽습니다. Seph는 그것을하고, Erjang은 그것을하고, Kawa와 JVM의 다른 모든 Scheme 구현은 그것을한다. JVM에는 기본적으로
—
Jörg W Mittag 2011 년
GOTOTCO를 구현하는 데 사용할 수있는 과 동일한 예외 가 있습니다. 또는 트램폴린을 사용합니다. 또는 JVM 호출 스택을 전혀 사용하지 않고 직접 구현하십시오. Clojure에서와 스칼라는 총 소유 비용 (TCO)을 제한 제공하는 이유 (기본적으로 만 꼬리 재귀 가 있기 때문에 최적화)입니다 원하는 상호 운용성 및 성능 이유로 JVM의 호출 스택을 사용합니다. Rich Hickey로서 Clojure의 디자이너는 Interop, 속도, TCO-두 가지를 선택하십시오.
성능에 전혀 신경 쓰지 않고 Haskell 언어가 요구하는 것에 집중한다면 하스켈을 JVM으로 컴파일하는 것이 어려울 것이라고 상상할 수 없습니다. Jorg가 언급 한대로 트램폴린을 사용하십시오. 구현하기 쉽습니다. 작업을 수행하는 가장 간단한 데이터 구조를 사용하십시오. 최적화에 신경 쓰지 마십시오. 나는 누군가가 실제로 신경을 쓰면 일주일 이내에 혼자서 제대로 작동하고 완전한 구현을 해킹 할 수 있다고 확신합니다.
—
Thomas Eding 2011 년