Functional language syntax
I have put up the source code of the standard functional language syntax program on top of Guile mentioned in earlier posts. One can see that Guile already has a combined imperative/functional syntax, but to go further, it would need to be extended. Take down the file guile++.tar.bz2 inside the folder on the webpage below, unpack using 'tar -xjf'; inside there is a file Readme.txt with further instructions and examples. It is possible to pretty-print as Scheme code, so it should be easy to see what the program does. Hans https://www-lagring.telia.se/Shares/Home.aspx?ShareID=e195dec2-1c1a-42a1-851e-da47e674d91b
Re: Functional language syntax
Hi, On 22 December 2010 05:30, Hans Aberg wrote: > I have put up the source code of the standard functional language syntax > program on top of Guile mentioned in earlier posts. One can see that Guile > already has a combined imperative/functional syntax, but to go further, it > would need to be extended. It would be useful to recap; I don't remember the earlier posts. Yours is a new project that does what? to solve what problem? Off-topic -- but -- are there any scheme extensions to add CAML-like type system & type inference, etc. to the language? --linas
Re: Functional language syntax
On 22 Dec 2010, at 22:12, Linas Vepstas wrote: I have put up the source code of the standard functional language syntax program on top of Guile mentioned in earlier posts. One can see that Guile already has a combined imperative/functional syntax, but to go further, it would need to be extended. It would be useful to recap; I don't remember the earlier posts. Yours is a new project that does what? to solve what problem? It was just mentioned in the body of some of my posts at the beginning of this month. Off-topic -- but -- are there any scheme extensions to add CAML-like type system & type inference, etc. to the language? That is my intent to experiment with; I have looked at Goops a bit. I am just doing my own language; right now it is close to Scheme in semantics. The syntax I have chosen is though intended to prepare for some typing. Since Guile is dynamic, one can probably go further than in statically typed languages.
ERROR: file: "libguilereadline-v-17", message: "The specified module could not be found"
I build readline-6.1 and gmp-4.3.2 under MinGW on XP and I have guile up and running but I cannot get readline module to load: $ guile guile> (use-modules (ice-9 readline)) ERROR: In procedure dynamic-link: ERROR: file: "libguilereadline-v-17", message: "The specified module could not be found." ABORT: (misc-error) guile> (quit) $ ls /usr/local/share/guile/1.8/ice-9/ | grep readline -rw-r--r-- 1 7.9K Dec 20 16:33 readline.scm $ ls /usr/local/lib | grep readline -rw-r--r-- 1 21K Dec 20 16:01 libguilereadline-v-17.a -rw-r--r-- 1 1.1K Dec 20 16:01 libguilereadline-v-17.la -rw-r--r-- 1 611K Dec 17 16:53 libreadline.a -rw-r--r-- 1 389K Dec 20 14:57 libreadline.dll.a -rwxr-xr-x 1 516K Dec 20 14:57 libreadline6.dll -rwxr-xr-x 1 516K Dec 17 16:53 libreadline6.dll.old $ ar -t /usr/local/lib/libguilereadline-v-17.a readline.o Is there a configuration knob that needs to be tweaked to tell guile where to find this file? What am I missing? Regards, Brad
