[racket-users] infix notation embedded in Racket

2015-04-23 Thread Jos Koot
contradict each other. I am not sure how to proceed. Opinions and suggestions are very welcome. Thanks, Jos Koot -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from

RE: [racket-users] define-language, trouble with parentheses.

2015-04-25 Thread Jos Koot
abril de 2015 19:38 To: Jos Koot Cc: racket-users@googlegroups.com Subject: Re: [racket-users] define-language, trouble with parentheses. Redex's term-language is about defining __abstract__ syntax not concrete syntax. For the former, the tricks of concrete syntax don't matter. So let's think, how

RE: [racket-users] define-language, trouble with parentheses.

2015-04-25 Thread Jos Koot
This makes sense to me. Thanks again, Jos _ From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of Matthias Felleisen Sent: sábado, 25 de abril de 2015 19:38 To: Jos Koot Cc: racket-users@googlegroups.com Subject: Re: [racket-users] define-language, trouble

RE: [racket-users] infix notation embedded in Racket

2015-04-24 Thread Jos Koot
Thanks, I take note of that. I was mislead by the examples in the infix docs of Jens Axel Søgaard. These examples start with #lang at-exp scheme. Sorry, my fault. Jos _ From: Alexander D. Knauth [mailto:alexan...@knauth.org] Sent: viernes, 24 de abril de 2015 12:59 To: Jos Koot Cc: Jens

RE: [racket-users] RE: infix notation embedded in Racket

2015-04-24 Thread Jos Koot
Sent: viernes, 24 de abril de 2015 18:32 To: Jos Koot Cc: racket-users@googlegroups.com Subject: Re: [racket-users] RE: infix notation embedded in Racket 2015-04-24 18:25 GMT+02:00 Jos Koot jos.k...@gmail.com: Hi Jens Axel, Thanks for replying and explaining. Can you discriminate between

[racket-users] RE: infix notation embedded in Racket

2015-04-24 Thread Jos Koot
is that this is very well possible, in fact much easier. Thanks again, Jos _ From: jensaxelsoega...@gmail.com [mailto:jensaxelsoega...@gmail.com] On Behalf Of Jens Axel Søgaard Sent: viernes, 24 de abril de 2015 14:50 To: Jos Koot Cc: racket-users@googlegroups.com Subject: Re: infix notation embedded

[racket-users] define-language, trouble with parentheses.

2015-04-24 Thread Jos Koot
I have trouble translating the following into a define-language form: term ::= number term ::= number + term An attempt like: (define-language my-language (term number (number + term)) does not work. It accepts (1 + (2 + 3)) and ((1 + 2) +3) but not (1 + 2 + 3). May be there already is

RE: [racket-users] constant propagation

2015-05-18 Thread Jos Koot
de mayo de 2015 13:17 To: Jos Koot Cc: racket-users@googlegroups.com Subject: Re: [racket-users] constant propagation Constant propagation is not a property of a language but its implementation. Few implementations document which transformations they currently implement. -- Matthias

RE: [racket-users] Strange behaviour of the eq? operator in racket repl

2015-05-18 Thread Jos Koot
I think Rackets's reference and guide are *very clear* about eq?, eqv? and equal?. They are even described well for structures and hashes and much more. Be aware, though, that in general equality can be interpreted in many ways. At the mathematical level equality is a difficult and in many cases

RE: [racket-users] Strange behaviour of the eq? operator in racket repl

2015-05-18 Thread Jos Koot
A fact is that equal? does not distinguish between for example two mutable lists that happen to have the same content (whatever the same may mean) They may be equal? at one moment and not be equal? a little bit later. With eq? you don't have this problem, BUT that's a very distinct kind of

RE: [racket-users] Strange behaviour of the eq? operator in racket repl

2015-05-18 Thread Jos Koot
[mailto:michael.tied...@o2online.de] Sent: lunes, 18 de mayo de 2015 21:26 To: Jos Koot; racket-users@googlegroups.com Subject: Re: [racket-users] Strange behaviour of the eq? operator in racket repl snip Maybe, I never thought about that in mathematical terms if not with the concept of identity. How could

[racket-users] constant propagation

2015-05-18 Thread Jos Koot
, please tell me where. Thanks to the plt Racket team! Jos koot -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more

[racket-users] receiving a copy of my own mails to racket-users@googlegroups.com

2015-04-16 Thread Jos Koot
Hi I receive e-mails from racket-users@googlegroups.com. However, when I send an e-mail to racket-users@googlegroups.com I don't receive my own e-mail. Not a big problem. For the moment I include myself as CC. Any idea how to fix this? Thanks, Jos Koot -- You received this message because

[racket-users] literals within syntax-transfromer within syntax-transformer

2015-04-16 Thread Jos Koot
(try -) ; - plus; expected - (try a) ; - plus; expected a I did this in the definitions window of DrRacket, version 6.1.1 [3m]. Language: racket [custom]; memory limit: 2000 MB. Thanks, Jos Koot -- You received this message because you are subscribed to the Google Groups Racket Users group

RE: [racket-users] receiving a copy of my own mails to racket-users@googlegroups.com

2015-04-16 Thread Jos Koot
Hi John Clements, I have looked in google settings, but sofar found no option for my wish. I had a look in google support but found nothing either. I'll look further. If I find somethink useful, I'll report that. Thanks, Jos Koot -Original Message- From: John Clements [mailto:cleme

RE: [racket-users] receiving a copy of my own mails to racket-users@googlegroups.com

2015-04-17 Thread Jos Koot
Thanks. That clears it up. Jos Koot. -Original Message- From: David T. Pierson [mailto:d...@mindstory.com] Sent: viernes, 17 de abril de 2015 6:11 To: Jos Koot Cc: racket-users@googlegroups.com Subject: Re: [racket-users] receiving a copy of my own mails to racket-users@googlegroups.com

RE: [racket-users] literals within syntax-transfromer within syntax-transformer

2015-04-16 Thread Jos Koot
, datum-syntax, quasi-syntax and so on) are great! Thanks again, Jos Koot _ From: jensaxelsoega...@gmail.com [mailto:jensaxelsoega...@gmail.com] On Behalf Of Jens Axel Søgaard Sent: jueves, 16 de abril de 2015 17:13 To: Jos Koot Cc: racket-users@googlegroups.com Subject: Re: [racket-users

RE: [racket-users] How to find most efficient constructs/instructions beside benchmarking?

2015-04-07 Thread Jos Koot
Quite right, I think. 3 things are important (in my experience): Most important: the algorithm. For example I once made a fully vectorized program for shortest paths that was much slower than a simpler non-vectorized program, simply because my algorithm was not efficient. Second: appropiate

[racket-users] Questions: free-identifier=?; literal-id in syntax-case

2015-04-04 Thread Jos Koot
line. I would prefer the + in the last line to be highlighted. (I am running DrRacket, version 6.1.1 [3m]) Help very much appreciated. Wish all of you a fine easter, Jos Koot -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from

RE: [racket-users] Questions: free-identifier=?; literal-id in syntax-case

2015-04-05 Thread Jos Koot
with syntax-parse and (_ (~and + (~literal +)) (~literal +)). May be I am able to make a syntax transformer, say my-syntax-case, available in expansion-phase, that does what you have suggested. Thanks again, Jos Koot _ From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com

RE: [racket-users] Questions: free-identifier=?; literal-id in syntax-case

2015-04-05 Thread Jos Koot
I never used syntax-parse before. I have to look into it. Many thanks, of course, Jos Koot _ From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of Alexander D. Knauth Sent: domingo, 05 de abril de 2015 15:08 To: Jos Koot Cc: racket-users@googlegroups.com

[racket-users] stx-expr in syntax-case

2015-04-08 Thread Jos Koot
syntax-transformers by runtime-procedures. However, then literal-ids are not correctly recognized because of phase distinction. Question 3: What can I do in order to debug syntax-transformers correctly, specifically when literal-ids are involved? Thanks, Jos Koot -- You received this message

RE: [racket-users] defform quastion

2015-06-04 Thread Jos Koot
Hi Mathhew, Thanks very much. I am sorry I did not see code:line by myself. Jos -Original Message- From: Matthew Flatt [mailto:mfl...@cs.utah.edu] Sent: jueves, 04 de junio de 2015 17:01 To: Jos Koot Cc: 'Racket-Users List' Subject: Re: [racket-users] defform quastion You can use

RE: [racket-users] defform quastion

2015-06-05 Thread Jos Koot
errors. It seems like unquote-syntax, but I don't see a quasiquote-syntax. Surely I ought to read more docs on scribble, but where? Thanks, Jos Koot -Original Message- From: Matthew Flatt [ mailto:mfl...@cs.utah.edu mailto:mfl...@cs.utah.edu] Sent: jueves, 04 de junio de 2015 17:01 To: Jos

[racket-users] defform quastion

2015-06-04 Thread Jos Koot
Hi, I have tried to use defform of scribble to describe the following: syntax ($ infix-expr) → any infix-expr ::= addition addition ::= term addition ::= addition + term addition ::= addition - term term ::= etc. Using #:grammar I can easily get: addition = term |

[racket-users] debug on letrec

2015-06-10 Thread Jos Koot
as above. Best wishes, Jos Koot -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https

[racket-users] allignment in defform

2015-06-13 Thread Jos Koot
defform of scribble/manual very well alligns the elements of #:grammar. Every = and | is well alligned. However, it does not align the collons of #:contract. Not a problem, of course. Just a matter of elegance, I think. Best wishes, Jos Koot BTW The more I use scribble, the more I like

[racket-users] 2 point about sribble

2015-05-28 Thread Jos Koot
Hi to all, margin-note of scribble no longer puts the notes in the right hand margin. I prefer the older layout with the margin-notes at the right hand side of the text proper. This may be a problem for margin-notes consisting of much text. However, I think a margin notes should always be very

[racket-users] infix

2015-05-30 Thread Jos Koot
To whom is interested, https://gist.github.com/joskoot/797a9e7d2276cf59d747 A toy allowing infix notation to be embedded in Racket. Based purely on pattern matching of syntax-case. In many aspects differs from the infix of Jens Axel Søgaard. I probably never shall use it, but I had much fun

RE: [racket-users] 2 point about sribble

2015-05-29 Thread Jos Koot
Thanks to Metthew Burrerick and Gereg Henderschott for your replies. Deleting the css files works. I think best for me is to get accustomed to the new format. I think uniformness of format of docs is important, especially when putting things available for others. Thanks again, Jos _

[racket-users] test amazes me

2015-05-24 Thread Jos Koot
#lang racket (module a racket (require test-engine/racket-tests) (check-expect 1 1) (test)) (module b racket (require test-engine/racket-tests) (check-expect 2 2) (test)) (require 'a 'b) This gives me: Welcome to DrRacket, version 6.2.900.3--2015-05-16(e8b52f6/a) [3m]. Language:

RE: [racket-users] test amazes me

2015-05-25 Thread Jos Koot
:3). Jos _ From: Matthias Felleisen [mailto:matth...@ccs.neu.edu] Sent: lunes, 25 de mayo de 2015 3:37 To: Alexander D. Knauth Cc: Jos Koot; Racket-Users List Subject: Re: [racket-users] test amazes me I didn't implement test-engine but worked with Kathy to design and occasionally add

RE: [racket-users] disappeeraing binding arrows

2015-05-22 Thread Jos Koot
Hi Alexander Thanks for taking notice of my post. Yes, it is within the *definition* that the arrows don't show up. I apologize if my post wasn't clear. Jos _ From: Alexander D. Knauth [mailto:alexan...@knauth.org] Sent: viernes, 22 de mayo de 2015 21:42 To: Jos Koot Cc: Racket-Users

RE: [racket-users] disappeeraing binding arrows

2015-05-23 Thread Jos Koot
Thanks, that is minimal indeed. Jos -Original Message- From: gus.ma...@gmail.com [mailto:gus.ma...@gmail.com] On Behalf Of Gustavo Massaccesi Sent: sábado, 23 de mayo de 2015 0:17 To: Jos Koot Cc: Alexander D. Knauth; Racket-Users List Subject: Re: [racket-users] disappeeraing binding

[racket-users] racket versus racket/base

2015-05-23 Thread Jos Koot
This works: #lang racket (define-syntax (x y) (syntax-case y () (_ (syntax (quote monkey) x ; - monkey This does not work #lang racket/base (define-syntax (x y) (syntax-case y () (_ (syntax (quote monkey) gives the expansion time error: syntax-case: unbound identifier in the

RE: [racket-users] racket versus racket/base

2015-05-23 Thread Jos Koot
Thanks. Your answer clarifies my brain. Jos _ From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of Alexander D. Knauth Sent: sábado, 23 de mayo de 2015 20:06 To: Jos Koot Cc: Racket-Users List Subject: Re: [racket-users] racket versus racket/base

RE: [racket-users] try a new macro expander

2015-05-22 Thread Jos Koot
Hi Matthew, Your proposal sounds very good to me (for what my opinion is worth). Thanks. FWIW I give you my findings, which are positive. I have tried the snapshot with the tests of three of my systems: lc-with-redex (not in planet or github) fmt (on planet) infix (not yet in planet or github) In

[racket-users] disappeeraing binding arrows

2015-05-22 Thread Jos Koot
Below two versions of a very stripped version of a macro I have made. In version 1 background expansion and check-syntax show binding arrows within macro stx-case. However, in version 2 the arrows are not shown. How come? Thanks, Jos #lang racket (require (for-syntax racket)) ;;; version 1

[racket-users] Distinct instantiations of modules

2015-08-01 Thread Jos Koot
to modify things such that once a module has been instantiated, each new require of that module gives the same instantiation? May be there are reasons not to do so, but I do not know why not. Your opinion would be much appreciated. Thanks, Jos Koot -- You received this message because you

RE: [racket-users] Distinct instantiations of modules

2015-08-07 Thread Jos Koot
Thanks for the suggestion, Jos _ From: Alexander D. Knauth [mailto:alexan...@knauth.org] Sent: jueves, 06 de agosto de 2015 16:55 To: Jos Koot Cc: Racket-Users List Subject: Re: [racket-users] Distinct instantiations of modules I think namespace-attach-module is one way to do

RE: [racket-users] eval PSA (was Sending Closures to Places)

2015-08-04 Thread Jos Koot
: There is a lot more about testing metacircularity, but that is off topic here. Jos Koot -Original Message- From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of Neil Van Dyke Sent: martes, 04 de agosto de 2015 19:59 To: Sean Kanaley; Alexis King Cc

[racket-users] stream-lazy

2015-07-26 Thread Jos Koot
, as the example shows, stream-lazy can be exposed by means of stream-lambda. Best wishes, Jos Koot -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr

[racket-users] question and opinion about phylosophy behind procedure curry

2015-11-17 Thread Jos Koot
#lang racket #| In the docs about procedure curry I read: " A function call (curry proc v ...) is equivalent to ((curry proc) v ...). In other words, curry itself is curried. " This means: |# ((curry list)) ; -> # #| where I would prefer: ((curry list)) ; -> () To me the following

RE: [racket-users] (atanh -2) -> +nan.0

2015-10-07 Thread Jos Koot
#lang racket (require math/base) (define-syntax-rule (tst x ...) (begin (let ((y (string->number 'x))) (printf "~a ~s ~s ~s~n" 'x y (atanh y) (real? y))) ...)) (tst "-2" "-2+0i" "-2+0.0i" "-2.0" "-2.0+0i" "-2.0+0.0i") Produces -2 -2 +nan.0 #t -2+0i -2 +nan.0 #t -2+0.0i -2.0+0.0i

RE: [racket-users] Re: Writing text to a file with correct newlines

2015-10-06 Thread Jos Koot
Yes, notepad is strange. Why not use wordpad? Jos -Original Message- From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of Josh English Sent: martes, 06 de octubre de 2015 6:06 To: Racket Users Subject: [racket-users] Re: Writing text to a file with

RE: [racket-users] namespace-undefine-variable! question

2015-08-27 Thread Jos Koot
again, Jos _ From: jensaxelsoega...@gmail.com [mailto:jensaxelsoega...@gmail.com] On Behalf Of Jens Axel Søgaard Sent: jueves, 27 de agosto de 2015 17:35 To: Jos Koot Cc: Racket-Users List Subject: Re: [racket-users] namespace-undefine-variable! question The issue here is whether

[racket-users] namespace-undefine-variable! question

2015-08-27 Thread Jos Koot
The following works: #lang racket/base #;1 (define ns (make-base-namespace)) #;2 (namespace-variable-value 'list #t (λ () 'not-found) ns) ; - #procedure:print-syntax-width #;3 (namespace-set-variable-value! 'list 'whatever (λ () #f) ns) #;4 (namespace-undefine-variable! 'list ns) #;5

RE: [racket-users] namespace-undefine-variable! question

2015-08-27 Thread Jos Koot
. Thanks for your comment, Jos _ From: Deren Dohoda [mailto:deren.doh...@gmail.com] Sent: jueves, 27 de agosto de 2015 20:19 To: Jos Koot Cc: Jens Axel Søgaard; Racket-Users List Subject: Re: [racket-users] namespace-undefine-variable! question Hi Jos, But some of them I want to undefine

[racket-users] custom-print called twice?

2015-09-01 Thread Jos Koot
1 0 #f (list (cons prop:custom-write printer ((name) (make-struct-field-accessor acc 0 'name))) (constr 'y)) ; -> # n ; -> 2 ;Done with ;DrRacket, version 6.2.0.5--2015-07-06(d6fa581/a) [3m]. ;Language: racket [custom]; memory limit: 2000 MB. Best wishes, Jos Koot -- You receive

RE: [racket-users] custom-print called twice?

2015-09-02 Thread Jos Koot
Thanks for the answer, rapid as always. Jos -Original Message- From: Matthew Flatt [mailto:mfl...@cs.utah.edu] Sent: miércoles, 02 de septiembre de 2015 2:11 To: Jos Koot Cc: 'racket users'; jos.k...@gmail.com Subject: Re: [racket-users] custom-print called twice? The first call

RE: [racket-users] namespace-undefine-variable! question

2015-08-28 Thread Jos Koot
to namespace-undefine- variable!. Thanks again, Jos _ From: jensaxelsoega...@gmail.com [mailto:jensaxelsoega...@gmail.com] On Behalf Of Jens Axel Søgaard Sent: viernes, 28 de agosto de 2015 13:48 To: Jos Koot Cc: Racket-Users List Subject: Re: [racket-users] namespace-undefine-variable

RE: [racket-users] Calling a procedure without allowing it to permanently alter parameters.

2016-01-13 Thread Jos Koot
Jon and Jon, Both thanks for your replies. I'll stick to call-in-nested-thread. Jos _ From: Jon Zeppieri [mailto:zeppi...@gmail.com] Sent: miércoles, 13 de enero de 2016 6:03 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] Calling a procedure without allowing it to permanently

[racket-users] Calling a procedure without allowing it to permanently alter parameters.

2016-01-12 Thread Jos Koot
#| Hi, Consider a procedure, say protected-caller, that accepts a thunk and calls it, but does not want any parameter or handler to be altered by the thunk. Of course the called thunk can alter parameters and handlers for its own use, but I want all parameters and handlers reset after return from

RE: [racket-users] Calling a procedure without allowing it to permanently alter parameters.

2016-01-12 Thread Jos Koot
Your suggestion works, but only for explicitly parameterized parameters. There may be parameters that I don't know of, but nevertheless may affect my protected-caller. Therefore I want ALL parameters protected. Thanks, Jos -Original Message- From: racket-users@googlegroups.com

[racket-users] scribble question about making my own types

2016-06-14 Thread Jos Koot
Hi, Scribble gives me much pleasure. Nevertheless, sometimes it takes me much time to find the appropriate documentation on things I want to do. Probably due to my ignorance. For example, it took me about half an hour of looking up the docs and making trials and errors to make my own *red*

RE: [racket-users] check-duplicates

2016-05-28 Thread Jos Koot
No, I did not mention that option, but it has crossed my mind. At this moment I am reading Julia Lawall's notion of “leakage”. Thanks, Jos. _ From: Matthias Felleisen [mailto:matth...@ccs.neu.edu] Sent: sábado, 28 de mayo de 2016 14:56 To: Jos Koot Cc: Racket Users Subject: Re: [racket

RE: [racket-users] check-duplicates

2016-05-27 Thread Jos Koot
[mailto:matth...@ccs.neu.edu] Sent: viernes, 27 de mayo de 2016 1:24 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] check-duplicates You can add a keyword argument that changes the not-found result for such a case: (define special (gensym)) (check-duplicates+ '(#f #f) #:not-found special) Its

RE: [racket-users] check-duplicates

2016-05-27 Thread Jos Koot
Thanks Matthias, I found the source by means of 'open defining file'. Brought me instantly to the definition. I did not need a pull request on github. Thanks, Jos -Original Message- From: Matthias Felleisen [mailto:matth...@ccs.neu.edu] Sent: viernes, 27 de mayo de 2016 19:42 To: Jos

[racket-users] check-duplicates

2016-05-26 Thread Jos Koot
Hi, (member #f '(#f)) -> (#f) (member #f '(#t)) -> #f Nice and clear, but: (check-duplicates '(#f #f)) -> #f (check-duplicates '(#f #t)) -> #f check-duplicates gives no clear answer when #f is duplicated. I propose to modify check-duplicates such as to make a distinction between

RE: [racket-users] scribble question about making my own types

2016-06-16 Thread Jos Koot
, Jos -Original Message- From: Brian LaChance [mailto:blach...@ccs.neu.edu] Sent: jueves, 16 de junio de 2016 17:10 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] scribble question about making my own types On Tue, Jun 14, 2016 at 1:17 PM, Jos Koot <jos.k...@gmail.com>

[racket-users] special symbols in scribble

2016-06-16 Thread Jos Koot
the docs without finding it again. If you understand what I mean, can you tell me where to look in the docs? It is there, for I saw it before. Thanks, Jos Koot -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this grou

[racket-users] ispell

2016-02-25 Thread Jos Koot
Hi, Trying to check spelling in DrRacket for a scrbl document, I get the message that aspell or ispell cannot be found. Where can I find it? How to install it? I work with Windows 7. Thanks, Jos -- You received this message because you are subscribed to the Google Groups "Racket Users" group.

RE: [racket-users] Re: ispell

2016-02-29 Thread Jos Koot
14:32 To: Jos Koot; Lehi Toskin; Racket Users Subject: Re: [racket-users] Re: ispell Lyx FTP site for Aspell for Windows <ftp://ftp.lyx.org/pub/lyx/contrib/aspell6-windows/> sorry pasting the shortcut did work ftp://ftp.lyx.org/pub/lyx/contrib/aspell6-windows/ (use 'guest') I unfortunately

RE: [racket-users] Re: ispell

2016-02-26 Thread Jos Koot
Thanks, I tried to download the english dictionary, but my computer can't run the .exe file. Jos -Original Message- From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of Lehi Toskin Sent: viernes, 26 de febrero de 2016 0:30 To: Racket Users Subject:

RE: [racket-users] Re: ispell

2016-02-26 Thread Jos Koot
ly use the 64 bit version) Thanks for your help. Jos _ From: Stephen De Gabrielle [mailto:spdegabrie...@gmail.com] Sent: viernes, 26 de febrero de 2016 18:15 To: Jos Koot; Lehi Toskin; Racket Users Subject: Re: [racket-users] Re: ispell It's been a while but I believe the Windows inst

[racket-users] defproc duplicate argumnt

2016-01-20 Thread Jos Koot
I have: @defproc[(fmt (format (or/c string? fmt?)) ... (port (or/c output-port? 'string 'str 'current 'cur 'argument 'arg) 'string) (and/c procedure? fmt?)]{bla bla bla} in a scrbl file, where 'bla bla

RE: [racket-users] Re: (eqv? Racket-land Wonderland) -> #t

2016-02-14 Thread Jos Koot
y weak spots in poor code. My 2 cents, Jos Koot -Original Message- From: racket-users@googlegroups.com [ <mailto:racket-users@googlegroups.com> mailto:racket-users@googlegroups.com] On Behalf Of Neil Van Dyke Sent: domingo, 14 de febrero de 2016 15:26 To: Saša Janiška;

RE: [racket-users] Re: recursive definition of a PROPOSITION

2016-02-19 Thread Jos Koot
Do you mean the following? (define (a) (case (random 6) [(0) (string-append "P" "→" (a))] [(1) (string-append "R" "↔" (a))] [(2) (string-append "T" "∧" (a))] [(3) (string-append "Z" "⊕" (a))] [(4) (string-append "S" "q" (a))] [(5) "" ])) Jos -Original Message-

[racket-users] second->date

2016-02-19 Thread Jos Koot
The following surprises me: > (seconds->date (sub1 (expt 2 40))) seconds->date: integer is out-of-range integer: 1099511627775 Nevertheless I can go further on in time: > (seconds->date (sub1 (expt 2 50))) #(struct:date* 40 5 11 23 9 22520 1 266 #t 7200 0 "Romance

RE: [racket-users] second->date

2016-02-19 Thread Jos Koot
tly) 35680317? Jos _ From: Jon Zeppieri [mailto:zeppi...@gmail.com] Sent: viernes, 19 de febrero de 2016 23:31 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] second->date I'm not especially familiar with the code in question, but it looks to me like some time-handling code

RE: [racket-users] second->date

2016-02-20 Thread Jos Koot
Thanks to both Jon and Matthew. BTW, Jon, my mailer (microsoft outlook) sometimes does strange things with the fonts :) Jos -Original Message- From: Matthew Flatt [mailto:mfl...@cs.utah.edu] Sent: sábado, 20 de febrero de 2016 2:58 To: Jos Koot; Jon Zeppieri Cc: Racket Users Subject

RE: [racket-users] dynamic-require

2016-03-18 Thread Jos Koot
Ir works fine. I must have overlooked something in the docs. Thanks again. Jos _ From: Scott Moore [mailto:sc...@thinkmoore.net] On Behalf Of Scott Moore Sent: miércoles, 16 de marzo de 2016 18:05 To: Jos Koot; Racket Users Cc: Jos Koot Subject: Re: [racket-users] dynamic-require

RE: [racket-users] Pattern Matching in Macros | Meaning of dot

2016-03-13 Thread Jos Koot
Consider (define/memoized (a b c d) form0 form1 form2) . body allows the body to consist of more than one form. Without the dot, syntax define/memoized would accept bodies of one form only, that is (define/memoized (a b c d) form0) would match, but (define/memoized (a b c d) form0 form1 form2)

RE: [racket-users] Sequential vs. Parallel 13-Queens program

2016-03-12 Thread Jos Koot
)), because only rows (or cullums) are considered, not all N^2 squares of the board. Jos -Original Message- From: Brian Adkins [mailto:lojicdot...@gmail.com] Sent: sábado, 12 de marzo de 2016 23:33 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] Sequential vs. Parallel 13-Queens

RE: [racket-users] Re: Sequential vs. Parallel 13-Queens program

2016-03-14 Thread Jos Koot
I have looked up a N-queens program I made a long time ago. It finds all solutions. My timings are faster I think. I need 2 seconds (in DrRacket) for N=12. 14200 solutions of which 1787 are not symmetrically equivalent. If you want I send you the code privately. 83 lines. Finding the solutions

[racket-users] submodules in definitions and interactions window.

2016-03-09 Thread Jos Koot
The following does not work in the definitions window of DrRacket: #lang racket (module a racket (display "hello")) (module b racket (require 'a)) (module c racket (require 'b)) (require 'c) But when putting it in the interactions-window (without the #lang line), it works. After reading the

RE: [racket-users] Sequential vs. Parallel 13-Queens program

2016-03-12 Thread Jos Koot
See https://en.wikipedia.org/wiki/Eight_queens_puzzle For a non recursive non-back-tracking algorithm. It is a loop that (when using a vector) can easily be unrolled in parallelly executed loops. I implemented it as follows running on 2 processors: #lang racket #| The following text is copied

RE: [racket-users] Sequential vs. Parallel 13-Queens program

2016-03-12 Thread Jos Koot
symmetrical problems. Best wishes, Jos -Original Message- From: Brian Adkins [mailto:lojicdot...@gmail.com] Sent: sábado, 12 de marzo de 2016 23:33 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] Sequential vs. Parallel 13-Queens program The code is a little difficult for me

RE: [racket-users] Sequential vs. Parallel 13-Queens program

2016-03-12 Thread Jos Koot
symmetrical problems. Best wishes, Jos -Original Message- From: Brian Adkins [mailto:lojicdot...@gmail.com] Sent: sábado, 12 de marzo de 2016 23:33 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] Sequential vs. Parallel 13-Queens program The code is a little difficult for me

[racket-users] dynamic-require

2016-03-19 Thread Jos Koot
Hi, The following example of dynamic-require in the reference manual works in the interactions window of DrRacket, but not in its definitions window: (module a racket/base (displayln "hello")) (dynamic-require ''a #f) How do I do this in the definitions window? The reason I use

RE: [racket-users] dynamic-require

2016-03-19 Thread Jos Koot
Thanks very much. I'll try that. I wonder what happens when I already have a file test.rkt in the current directory, but I'll find out. Thanks again, Jos. _ From: Scott Moore [mailto:sc...@thinkmoore.net] Sent: miércoles, 16 de marzo de 2016 18:03 To: Jos Koot; Racket Users Cc: Jos Koot

FW: [racket-users] macros within expressions.

2016-04-06 Thread Jos Koot
Oops, forgot to include the users list. _ From: Jos Koot [mailto:jos.k...@gmail.com] Sent: miércoles, 06 de abril de 2016 23:03 To: 'Richard Adler' Subject: RE: [racket-users] macros within expressions. You don't need a macro here. Why not simply: (map point-y points) May be your

[racket-users] submodule order dependency

2016-03-22 Thread Jos Koot
The following works in the definitions window of DrRacket: #lang racket (module a racket (display 'dog)) (module b racket (require (submod ".." a))) (require 'b) Display 'dog' when run. But reversing the order of the submodules a and b does not work: #lang racket (module b racket (require

RE: [racket-users] submodule order dependency

2016-03-22 Thread Jos Koot
the choice of order as has been made seems more natural. Thanks again, Jos -Original Message- From: Matthias Felleisen [mailto:matth...@ccs.neu.edu] Sent: martes, 22 de marzo de 2016 17:13 To: Jos Koot Cc: 'Racket Users' Subject: Re: [racket-users] submodule order dependency On Mar 22,

RE: [racket-users] Re: IO in racket is painful

2016-03-24 Thread Jos Koot
Hi In all computer languages it is more difficult to read data than to write them, I think. Racket (like more lisp-like languages) is rather easy on this: give it sexprs to read and you have no problems. If you want to accept other types of input, you need a parser. In the past I have made

[racket-users] graphics/graphics

2016-03-29 Thread Jos Koot
graphics/graphics is simple and therefore great. Two questions, though. When I have in the definitions window of DrRacket a program that opens a number of viewports, run it, then make corrections in my code and run it again, the viewports are nicely closed, but the positions of the viewports in

RE: [racket-users] racket not W^X?

2016-04-02 Thread Jos Koot
A compiler produces code (in this phase data) that can be executed. Babbage started with a machine that made distinction between program and data. In a Von Neuman machine there is no distinction between data and programs. In lambda calculus neither. Say you have a program that allows the user to

RE: [racket-users] why this error?

2016-04-27 Thread Jos Koot
In addition to my previous mail: Did you notice that allDiff? is, or at least must be, symmetrical in its two arguments? That is (allDiff? list1 list2) always must return the same answer as (allDiff? list2 list1) Jos -Original Message- From: Jos Koot [mailto:jos.k...@gmail.com] Sent

RE: [racket-users] why this error?

2016-04-27 Thread Jos Koot
I dont get the error when running your example. Notice that your function (allDiff? '() '(1 2 3)) returns '() I suppose you want #t in this case. Why the line( if (null? (cdr list1)) ? Simpler is: (define (allDiff? list1 list2) (if (null? list1) #t (if (memq (car list1) list2) #f

[racket-users] 6.6

2016-07-29 Thread Jos Koot
Thanks for releasing 6.6. Downloaded and installed it a few minutes ago. Did run three of my extensive test programs. 6.6 runs like a quantum or optical lattice clock. DrRacket of 6.6 seems to load and run much faster than 6.5. My 2 cents. Thanks, Jos. -- You received this message because you

[racket-users] nj-symbols and clebsch-gordon coefficients

2016-08-04 Thread Jos Koot
code that does this. If not, I am prepared to produce it (using a hash in order to speed up) The recursion relations seem to confirm my IIRC of the first line. Would this be usefull? Jos Koot -- You received this message because you are subscribed to the Google Groups "Racket Users&q

[racket-users] equivalence relation for hash keys

2016-08-04 Thread Jos Koot
Hi As far as I can see a hash has three options only for the equivalence relation comparing keys: eq?, eqv? and equal?. Would it be possible to extend Racket such as to allow the preparation of hashes with a user specified equivalence relation? May be I can prepare it myself, but I have no idea

[racket-users] font in margin notes of scribble

2016-07-04 Thread Jos Koot
Hi, Just a question, no serious matter. Why margin notes in scribble are not in the same font as plain text? I have managed to put my margin notes in the same font (I think) with: @margin-note{@element["sroman"]{bla bla bla}} I have the impression that plain text in scribble is in font

[racket-users] Playing with finite groups.

2016-08-04 Thread Jos Koot
To whom is interested https://github.com/joskoot/restricted-permutations A module that represents permutations by bijections, id est, by functions. Documentation (scribble) is included. Care has been taken such that two permutations representing the same mathemathical permutation are the same in

RE: [racket-users] equivalence relation for hash keys

2016-08-04 Thread Jos Koot
again, Jos _ From: Jon Zeppieri [mailto:zeppi...@gmail.com] Sent: jueves, 04 de agosto de 2016 19:06 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] equivalence relation for hash keys On Thu, Aug 4, 2016 at 12:34 PM, Jos Koot <jos.k...@gmail.com> wrote: Hi As far as

RE: [racket-users] equivalence relation for hash keys

2016-08-04 Thread Jos Koot
Thanks again. Just had a look. The docs are very clear. Jos -Original Message- From: Ryan Culpepper [mailto:ry...@ccs.neu.edu] Sent: jueves, 04 de agosto de 2016 18:40 To: Jos Koot; 'Racket Users' Subject: Re: [racket-users] equivalence relation for hash keys See `define-custom-hash

RE: [racket-users] Birthday icon on toolbar

2016-07-02 Thread Jos Koot
Why not send a congratulation? I am not sure whose face is in the debug button, but anyway: CONGRATULATIONS to whom it concerns. (Is it Robby Findler?) Jos PS: Richard: You may congratulate yourself with having Racket at your disposal. -Original Message- From: 'Richard Adler' via

[racket-users] question about unexpected newlines in code:line

2017-01-25 Thread Jos Koot
Hi, First: thanks for version 6.8. I have the following: #lang scribble/manual @(require scribble/core scribble/eval racket scribble/html-properties (for-label racket) (for-syntax racket)) @interaction[ (let () (code:comment #,(list "a" "b")) (code:comment #,(list "a" "b"))

[racket-users] tail-position in for/list form?

2016-08-17 Thread Jos Koot
Question: In the definitions window of DrRacket: #lang racket (for/list ((x (in-list '(a b c))) (k (in-naturals))) (cons k x)) When I place the cursor on the leftmost parenthesis of the for/list form, I see a pink arrow to the subexpr (cons k x). How can (cons k x) possibly be in tail position

RE: [racket-users] equivalence relation for hash keys

2016-08-04 Thread Jos Koot
Thanks, I'll look into that. Jos -Original Message- From: Ryan Culpepper [mailto:ry...@ccs.neu.edu] Sent: jueves, 04 de agosto de 2016 18:40 To: Jos Koot; 'Racket Users' Subject: Re: [racket-users] equivalence relation for hash keys See `define-custom-hash-types` in `racket/dict`. Note

  1   2   >