开发者

Does the Church programming language work on Windows?

开发者 https://www.devze.com 2023-03-06 00:50 出处:网络
Has anyone gotten the Church programming language to work on Windows?I followed the directions here and I wasn\'t able to run the examples in the tutorial in any obvious way.I used ikarus although I w

Has anyone gotten the Church programming language to work on Windows? I followed the directions here and I wasn't able to run the examples in the tutorial in any obvious way. I used ikarus although I would be quite satisfied to use PLT Scheme (now Racket) if there was a clear way to do it.

For example, although I'm able to run

ikarus --r6rs-script test/church-test-suite.ss

at the end of the installation instructions, I'm not able to run a file containing

(import (church))

;; sample from a few church primitives
(church
 (define mean (gaussian 0 1))
 (define var (abs (gaussian 0 1)))
 (gaussian mean var)
 (flip 0.5)
 )
(exit)

which is the first example in the Getting Started with MIT-Church section, either if I run as

ikarus --r6rs-script test/my-test.ss

or as

ikarus test/my-test.ss

I've found that I can run something like this particular example if I abuse my header to look like the test suite, but this doesn't hold for some of the further examples in that开发者_JS百科 section.

Normally I would suspect a bad library path on my side, but the echo looks good:

$ echo $IKARUS_LIBRARY_PATH
/cygdrive/c/mit-church:/cygdrive/c/mit-church/include

and, as mentioned before, the test cases run.

I've asked this question in the talk page for installation on their Wiki, and I'll see that the results of either forum get cross-posted.

0

精彩评论

暂无评论...
验证码 换一张
取 消