[racket] FW: Seamless Prolog integration

2011-09-20 Thread Jukka Tuominen
(Sorry, meant to reply to the list, also) Thanks, great information and sounds overall feasible, too. > > -Original Message- > From: w...@dualtech.com.pl [mailto:w...@dualtech.com.pl]On Behalf Of Wojciech > Kaczmarek > Sent: 19 September 2011 18:06 > To: Jukka Tuominen > Subject: Re: [ra

Re: [racket] Problem with mzc v.5.1.1 and contracts

2011-09-20 Thread Timur Sufiev
On 20.09.2011 19:59, Matthew Flatt wrote: Matthew, that "wild guess" was the exact solution, thanks :). I'm not clear on your example in this case. Can you say more about what "mime-parser.scm" contains as well as the native library that it's using? I have one wild guess, which is that the nat

Re: [racket] Offtopic: Learning SML

2011-09-20 Thread Sam Phillips
On Sun, Sep 18, 2011 at 10:36, Grant Rettke wrote: > Hi, > > Over the years I've noticed on-list that comments are made about OCaml > and Haskell and abstract data types. > > It seems like it would be fun to learn more about this stuff; and I > guessed that learning SML would be a nice place to st

Re: [racket] Problem with mzc v.5.1.1 and contracts

2011-09-20 Thread Matthew Flatt
I'm not clear on your example in this case. Can you say more about what "mime-parser.scm" contains as well as the native library that it's using? I have one wild guess, which is that the native library includes a call to scheme_eval() on `struct:exn:fail'. If so, then maybe the current namespace w

Re: [racket] Problem with mzc v.5.1.1 and contracts

2011-09-20 Thread Timur Sufiev
On 18.08.2011 10:40, Timur Sufiev wrote: Matthew, another question about "raco make": when compiling via mzc, one can specify so-library as module in require clause, e.g. (require (lib "mzmimer" "jet")) and it is correctly resolved to "/opt/dozor/racket/lib/racket/collects/jetinfo/compiled/nat

Re: [racket] Racket style guide (was Re: Argument order conventions (was: Variable naming conventions))

2011-09-20 Thread Matthias Felleisen
On Sep 20, 2011, at 1:42 AM, Tom McNulty wrote: > Thanks for the guide! > > What is the Racket convention for named constants? > > Somewhere along the way I picked up the convention of prefixing constants > with k, ie. kMyConstant. Transmuted into racket I find myself typing: > (define k-my

Re: [racket] Racket style guide (was Re: Argument order conventions (was: Variable naming conventions))

2011-09-20 Thread Neil Van Dyke
Tom McNulty wrote at 09/20/2011 01:42 AM: What is the Racket convention for named constants? There is no convention in Racket that I know of. Pi can be "pi". Max. packet payload byte count can be "max-packet-payload-byte-count". I don't see constants very often. There are many things,

Re: [racket] Racket style guide (was Re: Argument order conventions (was: Variable naming conventions))

2011-09-20 Thread Jay McCarthy
Many people use capital letters like in C. Jay On Tue, Sep 20, 2011 at 2:42 PM, Tom McNulty wrote: > Thanks for the guide! > > What is the Racket convention for named constants? > > Somewhere along the way I picked up the convention of prefixing constants > with k, ie. kMyConstant.   Transmuted