Re: [racket-users] Re: hashcons

2020-09-14 Thread Hendrik Boom
On Mon, Sep 14, 2020 at 01:11:34AM -0700, Tony Garnock-Jones wrote: > On Sunday, September 13, 2020 at 12:41:15 AM UTC+2 hen...@topoi.pooq.com > wrote: > > > True, but that would require rewriting list, and quasiquote, ans > > others like that to use the hashcons. > > > > Not impossible. > >

Re: [racket-users] Incorporating Markdown documents into Scribble

2020-09-13 Thread Hendrik Boom
On Sun, Sep 13, 2020 at 07:50:01AM -0400, Shriram Krishnamurthi wrote: > It's useful to have this behave like a `#include`. There are settings where > you want to have a non-Scribble person author things that go "in the > middle"; you want to think of this as just a more convenient way of writing

Re: [racket-users] Re: hashcons

2020-09-12 Thread Hendrik Boom
On Sat, Sep 12, 2020 at 01:23:24PM -0700, jackh...@gmail.com wrote: > Not automatically, but you can make your own wrapper function around cons > that interns them using a weak hash table and then you can use that wrapper > function everywhere. True, but that would require rewriting list, and

Re: [racket-users] Incorporating Markdown documents into Scribble

2020-09-12 Thread Hendrik Boom
On Sat, Sep 12, 2020 at 06:14:53AM -0700, Shriram Krishnamurthi wrote: > I need a little help with `decode` vs `decode-flow` in Scribble. (Also, > this thread is about a question I wasn't able to find answered anywhere, so > hopefully it will lead to a solution that others can also use.) > >

Re: [racket-users] package manager woes on Windows 10?

2020-09-11 Thread Hendrik Boom
On Thu, Sep 10, 2020 at 10:27:39AM -0400, George Neuner wrote: > > > On 9/10/2020 10:06 AM, Philip McGrath wrote: > > Also, this is happening over encrypted HTTPS: no one is sniffing the > > User-Agent header. > > While it may not be the issue here, you need to understand that appliance >

[racket-users] hashcons

2020-09-10 Thread Hendrik Boom
Is there a way to run Racket so that every immuable cons is made with a hashcons operation; i.e. it makes a new cons scel only if there isn't already one in memory somewhere with the same car and cdr values? -- hendrik -- You received this message because you are subscribed to the Google

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Hendrik Boom
On Thu, Sep 10, 2020 at 12:49:25AM -0400, George Neuner wrote: > > I don't know if DrRacket even sends a "user agent" string. If DrRacket can send a user agent string, so can malware. So it's not really reliable to filter on the user agent string. -- hendrik -- You received this message

Re: [racket-users] Create C functions for embedded Racket CS

2020-09-02 Thread Hendrik Boom
On Wed, Sep 02, 2020 at 02:05:11PM -0700, dotoscat wrote: > There are a function such scheme_make_prim_w_arity > > for the CS version? > The idea is to use Racket > as a scripting language for a C program.

Re: [racket-users] abstraction suggestion?

2020-08-31 Thread Hendrik Boom
On Mon, Aug 31, 2020 at 10:06:42AM -0700, Shriram Krishnamurthi wrote: > I'm having some trouble abstracting over this code. Any suggestions? > > I have numerous files that follow this boilerplate: > > #lang racket > > (require ) > > (provide (rename-out [mod-begin #%module-begin] >

Re: [racket-users] Proper place to store log file

2020-08-25 Thread Hendrik Boom
On Mon, Aug 24, 2020 at 11:02:35AM -0700, Thomas Del Vecchio wrote: > Hi everyone! > > I'm currently working on some usage logging for a language we're > developing. We need to store a persistent file that is shared across a > given device (so that the same log file is used regardless of where

Re: [racket-users] Re: Application Templates!

2020-08-20 Thread Hendrik Boom
On Wed, Aug 19, 2020 at 09:33:01PM -0700, Alex Harsanyi wrote: ... ... > I think Racket would benefit by a suite of applications which are small but > not trivial and with a source code which is commented in more detail than a > regular application. Every regular application would also benefit

Re: [racket-users] Strange behaviour on re-executing an sgl program

2020-08-16 Thread Hendrik Boom
reruns. -- hendrik On Sun, Aug 16, 2020 at 09:32:19AM -0400, Hendrik Boom wrote: > I hauled the sgl-hello-world program (attached below) into drrracket, version > 7.6, english by PLT. > > I click on 'run'I click on 'run'. > It creates a small window containing a small white squar

[racket-users] Strange behaviour on re-executing an sgl program

2020-08-16 Thread Hendrik Boom
I hauled the sgl-hello-world program (attached below) into drrracket, version 7.6, english by PLT. I click on 'run'I click on 'run'. It creates a small window containing a small white square. I click on 'run' again. It deetes that window, and creates another small window containing a small

Re: [racket-users] slideshow -> google slides?

2020-08-07 Thread Hendrik Boom
On Thu, Aug 06, 2020 at 06:58:28PM -0400, 'John Clements' via Racket Users wrote: > Has anyone here developed a reasonable workflow for exporting slideshow > presentations to google slides? It appears that google slides cannot import > PDFs or SVGs. It looks like it has support for importing

Re: [racket-users] slideshow -> google slides?

2020-08-07 Thread Hendrik Boom
On Fri, Aug 07, 2020 at 09:58:15AM -0400, David Storrs wrote: > On Thu, Aug 6, 2020, 10:34 PM Hendrik Boom wrote: > > > On Thu, Aug 06, 2020 at 06:58:28PM -0400, 'John Clements' via Racket Users > > wrote: > > > Has anyone here developed a reasonable workf

Re: [racket-users] slideshow -> google slides?

2020-08-06 Thread Hendrik Boom
On Thu, Aug 06, 2020 at 06:58:28PM -0400, 'John Clements' via Racket Users wrote: > Has anyone here developed a reasonable workflow for exporting slideshow > presentations to google slides? It appears that google slides cannot import > PDFs or SVGs. It looks like it has support for importing

Re: [racket-users] Advice wanted about new opengl binding

2020-08-03 Thread Hendrik Boom
ithub.com/racket/sgl/tree/master where I find multiple files, including main.rkt, sgl.rlt, and gl.rkt. Am I correct that main.rkt is what I get with (require sgl) and that gl.rkt is what I get with (require sgl/gl)? -- hendrik > > > On Sun, Aug 2, 2020 at 5:51 PM Hendrik Boom wrote: >

Re: [racket-users] ask the type of a value (partial solution)

2020-08-03 Thread Hendrik Boom
the struct’s name, 'procedure, or > > 'evt? It’s not really clear. You might be able to come up with some more > > sophisticated system with (potentially multiple) inheritance that could > > capture these relationships, but I can say with confidence that no such > > system current

[racket-users] ask the type of a value

2020-08-03 Thread Hendrik Boom
In plain, untyped Racket: It is possible to ask if a value is a symbol with symbol? It is possible to ask if a value is a string with string? etc. Is there a way to ask the type of a value without having to guess it first? -- hendrik -- You received this message because you are subscribed to

Re: [racket-users] pictures in code?

2020-08-03 Thread Hendrik Boom
or is it some other type of object? -- hendrik > > On Sun, Aug 2, 2020 at 7:07 PM Hendrik Boom wrote: > > > Is there any way to include pictures in Racket code? > > Perhaps as constants or as prts of identifiers? > > The idea is that when editing the program in t

[racket-users] pictures in code?

2020-08-02 Thread Hendrik Boom
Is there any way to include pictures in Racket code? Perhaps as constants or as prts of identifiers? The idea is that when editing the program in the Racket editor, the pictures are visible as part of the code, making the code itself more visually self-evident, not as file names to be read from

Re: [racket-users] Advice wanted about new opengl binding

2020-08-02 Thread Hendrik Boom
Time to rethink everything before I go further. So far I've found several opengl bindings. There's opengl, documented here: https://docs.racket-lang.org/opengl/index.html There are sgl and sgl/gl, documented here: https://docs.racket-lang.org/sgl/index.html and there's a typed opengl hidden

Re: [racket-users] Advice wanted about new opengl binding

2020-08-01 Thread Hendrik Boom
On Sat, Aug 01, 2020 at 11:48:06AM -0600, Matthew Flatt wrote: > At Fri, 31 Jul 2020 17:05:27 -0400, Hendrik Boom wrote: > > For example, there's glGetCompressedTexImageARB. It receivees a > > pointer to an image area and fills it in with a compressed image. > > Accor

[racket-users] Advice wanted about new opengl binding

2020-07-31 Thread Hendrik Boom
I need advice from someone with more experience with openGL and/or Racket. I am still working on updating the Racket openGL binding to the current openGL spec. I'm doing this as in the old binding, machine-translating the formal part of the openGl standard, which now uses a competely new

Re: [racket-users] Does Racket interpreter exist?

2020-07-29 Thread Hendrik Boom
On Wed, Jul 29, 2020 at 01:56:05AM -0700, zeRusski wrote: > This is a really cool piece of history! Thank you. > > I'll admit I'm somewhat fuzzy here - it maybe a bit too meta for me or > perhaps I don't quite understand what you're trying to say. Isn't > interpreting n levels deep also linear

Re: [racket-users] Does Racket interpreter exist?

2020-07-28 Thread Hendrik Boom
On Mon, Jul 27, 2020 at 11:07:43AM -0700, zeRusski wrote: > > > > > The best way to distinguish compilers from interpreters is that a > > compiler takes a program and produces another program, whereas an > > interpreter takes a program (along with some input) and produces an > > answer. > > >

[racket-users] reading s-expressions from a file

2020-07-17 Thread Hendrik Boom
Yes, I know the functino for reading s-expressions seems to be (read [in]). I want a loop that reads S-expressions and does something to each one, until there are no more to be found in a file. Now of course that's absurdly easy to do with a tail-recursice loop. But I's like it to look like a

[racket-users] Screen readers

2020-07-07 Thread Hendrik Boom
On Tue, Jul 07, 2020 at 11:44:53AM +0200, Jens Axel Søgaard wrote: > The upside is that using standard elements work with custom themes used > in the OS. Screen readers for blind also work with standard elements. Just wondering. What is available in the way of screen readers on a Linux system?

[racket-users] bracket meme

2020-07-06 Thread Hendrik Boom
Found this signature quote: -- Put not your faith in parenthesis, nor trust in dotted pears, says speech therapist. used by DannyB on Soyent News Thought it might be amusing here. -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users" group.

Re: [racket-users] Re: note about parsing speed of xml vs sxml?

2020-06-29 Thread Hendrik Boom
On Sun, Jun 28, 2020 at 06:01:27PM -0700, Alex Harsanyi wrote: > I tested the your string port version and I also wrote a "string-append" > version of the xml reader and they are both slower by about 10-15% on my > machine, when compared to the current read-xml implementation which uses >

Re: [racket-users] Re: note about parsing speed of xml vs sxml?

2020-06-28 Thread Hendrik Boom
On Sun, Jun 28, 2020 at 11:30:27PM +0200, Ryan Culpepper wrote: > Thanks Alex for pointing out the use of list->string. I've created a PR ( > https://github.com/racket/racket/pull/3275) that changes that code to use > string ports instead (similar to Hendrik's suggestion, but the string port >

Re: [racket-users] Re: note about parsing speed of xml vs sxml?

2020-06-28 Thread Hendrik Boom
On Sat, Jun 27, 2020 at 05:16:34PM -0700, Alex Harsanyi wrote: > Looking at the source for `read-xml`, it seems to be using `list->string` > in several places. That is, it reads characters one-by-one and constructs > a list by appending a character to the end of it, than calls `list->string` >

[racket-users] xml vs sxml?

2020-06-27 Thread Hendrik Boom
On Sat, Jun 27, 2020 at 12:33:02AM -0400, Neil Van Dyke wrote: > I think anyone using XML or HTML seriously with Racket should probably at > least be told of the SXML family of tools.  And warned about the > compatibility problems. > > Though not tell them *everywhere* XML in the docs.  For

Re: [racket-users] Should I stop sending packages to the catalog?

2020-06-19 Thread Hendrik Boom
On Fri, Jun 19, 2020 at 01:09:08PM -0700, Brian Adkins wrote: > > I'm hoping the main scenario I'm concerned about (a bug is introduced in an > update of a package) is rare, although that's exactly what motivated Alex > to create his system. If it is a rare scenario for me, then I'd like to do

Re: [racket-users] Should I stop sending packages to the catalog?

2020-06-19 Thread Hendrik Boom
On Fri, Jun 19, 2020 at 07:54:29AM -0700, Brian Adkins wrote: > On Friday, June 19, 2020 at 8:09:04 AM UTC-4, Neil Van Dyke wrote: > > > > For an important production system, you probably want the source of any > > third-party packages on which you depend to be in Git (or another SCM > > system)

[racket-users] About FEXPRS

2020-06-07 Thread Hendrik Boom
On Sun, Jun 07, 2020 at 08:09:40PM +0800, Siyuan Chen wrote: ... ... > > There is an alternative of Lisp macros called FEXPRs, see > https://en.wikipedia.org/wiki/Macro_(computer_science)#Early_Lisp_macros > > > Early Lisp macros > > Before Lisp had macros, it had so-called FEXPRs, function-like

Re: [racket-users] Poor documentation of List*

2020-06-03 Thread Hendrik Boom
phen > > ps i use > https://blog.racket-lang.org/2017/09/tutorial-contributing-to-racket.html & > lots of kind guidance from other racketeers :0 > pps: if you make a successful pr you get credit in the frankly wonderful > racket news https://racket-news.com/2020/06/racket-news-issue-32.

[racket-users] Poor documentation of List*

2020-06-02 Thread Hendrik Boom
In the Typed Racket Reference, List* is defined as follows: (List* t t1 ... s) is equivalent to (Pairof t (List* t1 ... s)). Following this definition down, we get (List* a b c) -> (Pairof a (List* b c)) -> (Pairof a (Pairof b (List* c))) But what's (List* c) ? I see no explanatory

Re: [racket-users] syntax woe with typed Racket 'let'

2020-06-01 Thread Hendrik Boom
tring *]) : Number (+ x (length y))) > > > > See the documentation for `define` in Typed Racket here: > > https://docs.racket-lang.org/ts-reference/special-forms.html?q=define#%28form._%28%28lib._typed-racket%2Fbase-env%2Fprims..rkt%29._define%29%29 > > in particular the `rst` production

Re: [racket-users] syntax woe with typed Racket 'let'

2020-06-01 Thread Hendrik Boom
be made available as a list? Thank you for the hint. -- hendrik > > Sam > > On Sat, May 30, 2020 at 1:32 PM Hendrik Boom wrote: > > > > I'm sorry to keep pestering this list, but I'm out of my depth with the > > detailed syntax (and semantics) of typed

[racket-users] syntax woe with typed Racket 'let'

2020-05-30 Thread Hendrik Boom
I'm sorry to keep pestering this list, but I'm out of my depth with the detailed syntax (and semantics) of typed Racket. But I'm doggedly ploughing on. I'm having trouble with the 'let' line in the 'pointer-to' function listed later: (let ([vt : Ffi-type (cast ((inst hash-ref Ffi-type

[racket-users] coding style query

2020-05-27 Thread Hendrik Boom
Is there an accepted convention about how to use a symbol used in a program within a comment so it's clear the comment is using it as a program symbol and not as an ordinary English word? -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users"

Re: [racket-users] inconvenience in typed Racket

2020-05-22 Thread Hendrik Boom
ut what's really needed. I think there's a need to embed untyped expressions in a typed program, just as there's a mechanism to do the reverse. -- hendrik > > Sam > > On Fri, May 22, 2020 at 5:21 PM Hendrik Boom > wrote: > > > > Here's the code it's complaining ab

[racket-users] inconvenience in typed Racket

2020-05-22 Thread Hendrik Boom
Here's the code it's complaining about. `(,@params -> ,rettype) And here's the message: Type Checker: Polymorphic function `qq-append' could not be applied to arguments: Types: (Listof a) (Listof b) -> (Listof (U a b)) Arguments: (Listof (List Any ': Any)) (List '-> Ffi-type) Expected result:

Re: [racket-users] Inference for polymorphic functions not supported?

2020-05-19 Thread Hendrik Boom
tself doesn't generate 'inst's. I do not understand how eliminating the temporary variably 'y' made it all work. -- hendrik > > Sam > > On Mon, May 18, 2020 at 4:33 PM Hendrik Boom wrote: > > > > I keep getting the messages like > > > > Type Checker: Inferenc

Re: [racket-users] Inference for polymorphic functions not supported?

2020-05-18 Thread Hendrik Boom
(v : Natural (in-value (cdr p))) > #:when (not (= v 1)) > ) > (cons k v)) > > Sam > > On Mon, May 18, 2020 at 4:33 PM Hendrik Boom wrote: > > > > I keep getting the messages like > > >

[racket-users] Inference for polymorphic functions not supported?

2020-05-18 Thread Hendrik Boom
I keep getting the messages like Type Checker: Inference for polymorphic keyword functions not supported in: (sort hash-list stringstring (car p))) #:cache-keys? #t) or Type Checker: Polymorphic function `cons' could not be applied to arguments: Types: a (Listof a) -> (Listof a) a b ->

[racket-users] SOLVED BUT needs documentation change: printing structures in typed Racket

2020-05-15 Thread Hendrik Boom
reference, #:property is not one of the allowed options in struct. Perhaps the documentation needs to be updated/ -- hendrik > > On Fri, May 15, 2020 at 8:00 AM Hendrik Boom wrote: > > > > How does one provide a method to print strutures in typed Racket? > > > >

[racket-users] at sign in scribble

2020-05-15 Thread Hendrik Boom
I hae not been able to figure out from the scribble documentation how to produce a document containing an at sign. Just putting the desired at sign into the source file of course doesn't work, since the at-reader intercepts it. -- hendrik -- You received this message because you are

[racket-users] printing structures in typed Racket

2020-05-15 Thread Hendrik Boom
How does one provide a method to print strutures in typed Racket? (struct parameter ([type : XML] [name : Symbol] [len : (Option String)] [const? : Boolean] [stars : Integer]) #:methods gen:custom-write [(define write-proc parameter-print)] ) seems not to work. But something like this

Re: [racket-users] Re: Requesting feedback on CSS3 parser and tokenizer

2020-05-12 Thread Hendrik Boom
On Tue, May 12, 2020 at 05:35:59PM -0700, Alex Harsanyi wrote: > I now very little about web technologies and web development, so this might > be a stupid question: could you explain what types of applications might > need a to parse CSS files? I can only think of one, and that is a web >

[racket-users] SOLVED: Mysterious multiple values in a typed-racket program

2020-05-09 Thread Hendrik Boom
On Sat, May 09, 2020 at 12:24:16PM -0400, Ben Greenman wrote: > On 5/9/20, Hendrik Boom wrote: > > I get the message > > > > readspec.rkt:195:8: Type Checker: Expression should produce 3 values, but > > produces 1 values of types String in: (for/set : (Setof Strin

[racket-users] Mysterious multiple values in a typed-racket program

2020-05-09 Thread Hendrik Boom
I get the message readspec.rkt:195:8: Type Checker: Expression should produce 3 values, but produces 1 values of types String in: (for/set : (Setof String) (((l : String) (cast (in-lines input-port) (Sequenceof String (cast (string-trim l) String)) from the following function: (define

Re: [racket-users] for/set

2020-05-08 Thread Hendrik Boom
racket-lang.org/search/index.html?q=for%2Fset>. Here, the first > result > <https://docs.racket-lang.org/reference/sets.html?q=for%2Fset#%28form._%28%28lib._racket%2Fset..rkt%29._for%2Fset%29%29> > is what you want. Excellemt! -- hendrik > > On Fri, May 8, 2020 at 4:

[racket-users] for/set

2020-05-08 Thread Hendrik Boom
Where is for/set documented? What does it do? It is mentioned in the typed Racket menual, but oly to say it has the same meaning as the unannotated version. -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from

Re: [racket-users] Finding bound occurrences

2020-05-07 Thread Hendrik Boom
e include linr for debugging that other file. Thanks. I'm still learning. -- hendrik > > > On Thu, May 7, 2020 at 9:55 AM Hendrik Boom wrote: > > > I have several tabs open in DrRacket. > > On two of them, when I mouse over a symbol, it provides very > > visibl

[racket-users] Finding bound occurrences

2020-05-07 Thread Hendrik Boom
I have several tabs open in DrRacket. On two of them, when I mouse over a symbol, it provides very visible links to binding or bound occurrences On the third, it doesn't. There is a right-click mey item to jump to the binding occurrence, but no menu item to find next bound occurrence. One

Re: [racket-users] Should I stop sending packages to the catalog?

2020-05-01 Thread Hendrik Boom
On Fri, May 01, 2020 at 06:12:55AM -0700, Jesse Alama wrote: > On Thursday, April 30, 2020 at 2:57:45 PM UTC+2, Jay McCarthy wrote: > > > > > > This is simply a social standard though. There is nothing that > > technically prevents you from breaking compatibility, except that your > > users may

Re: [racket-users] Reducing parentheses without language damage.

2020-05-01 Thread Hendrik Boom
On Thu, Apr 30, 2020 at 02:40:00PM -0700, Sorawee Porncharoenwase wrote: > > This is Nia's parendown: https://docs.racket-lang.org/parendown/index.html Just wondering: Is there a way to write division if Nia's parendown is in effect? There would be no problem with this if it was originally

Re: [racket-users] Reducing parentheses without language damage.

2020-04-30 Thread Hendrik Boom
On Thu, Apr 30, 2020 at 02:40:00PM -0700, Sorawee Porncharoenwase wrote: > > > > I hate being at the mercy of whatever editor I'm stuck using. > > > I agree with this in principle, but in practice, it's really a matter of > what mainstream editors support. Editors in the past don't universally >

Re: [racket-users] Reducing parentheses without language damage.

2020-04-30 Thread Hendrik Boom
On Thu, Apr 30, 2020 at 02:46:00PM -0400, David Storrs wrote: > On Thu, Apr 30, 2020 at 11:16 AM Hendrik Boom > wrote: > > > On Thu, Apr 30, 2020 at 09:36:15AM +0200, Dexter Lagan wrote: > > > There’s one thing I noticed: if debugging is disabled, then > > pa

[racket-users] Reducing parentheses without language damage.

2020-04-30 Thread Hendrik Boom
On Thu, Apr 30, 2020 at 09:36:15AM +0200, Dexter Lagan wrote: > There’s one thing I noticed: if debugging is disabled, then parenthesis > highlighting is also disabled (as well as other visual aids, if I remember > well?). The editor also feels faster because of this, but navigating >

Re: [racket-users] Do I misunderstand set! ?

2020-04-23 Thread Hendrik Boom
On Thu, Apr 23, 2020 at 11:40:44PM -0500, Alexis King wrote: > > On Apr 23, 2020, at 21:15, Hendrik Boom wrote: > > > > (fprintf anomaly "resEEEulttyope was ~s~n" resulttype) > > (fprintf anomaly "set resulttyoe to ~s~n" ty) > >

Re: [racket-users] Do I misunderstand set! ?

2020-04-23 Thread Hendrik Boom
of amy modules hanging around. The creation of resulttype, the use of resulttype, and the set!ing of resuttype all happen within one single function. I'll paste it in below. -- hendrik > > -Philip > > > On Thu, Apr 23, 2020 at 5:00 PM Hendrik Boom wrote: >

[racket-users] Do I misunderstand set! ?

2020-04-23 Thread Hendrik Boom
extract from code: (fprintf anomaly "resEEEulttyope was ~s~n" resulttype) (fprintf anomaly "set resulttyoe to ~s~n" ty) `(set! resulttype ty) (fprintf anomaly "resEEulttyope now ~s~n" resulttype) Previous creation of resulttype: (define resulttype :

Re: [racket-users] New week, new Racket! What are you folks up to?

2020-04-22 Thread Hendrik Boom
On Sun, Apr 19, 2020 at 10:04:18AM -0700, Stephen De Gabrielle wrote: > New week, new Racket! What are you folks up to? # Related to Racket ## Working on the OpenGl binding. Still wrestling with Khronos's new XML specification for OpenGL. I have a somewhat confusing parser that processes

Re: [racket-users] Typed version of sxml?

2020-04-21 Thread Hendrik Boom
ssed the boundary into sxml library code, I suppose. That's the price I'd prefer not to pay. I trust Oleg's code. I don't trust mine without the most exhaustive testing program, which normally includes static type checking. -- hendrik > > John > > > On Apr

[racket-users] Typed version of sxml?

2020-04-21 Thread Hendrik Boom
Is there a typed version of sxml? Its data representation would seem to be fairly easy to specify by a few corecursice define-type's. I's like to get the result of (ssax:xml->sxml in '()) as a typed value without having to waste time doing an exhaustive run-time type-check on its output.

Re: [racket-users] hash-ref in typed Racket

2020-04-21 Thread Hendrik Boom
on't want to use `cast` this extensively in > your program. No, I don't. I hoped it would help, but I was fixing the wrong problem, so it didn't . -- hendrik > > Sam > > On Tue, Apr 21, 2020 at 10:35 AM Hendrik Boom wrote: > > > > In typed Racket I define a

[racket-users] hash-ref in typed Racket

2020-04-21 Thread Hendrik Boom
In typed Racket I define a hashtable: (: vector-to-contract (HashTable TType CContract)) (define vector-to-contract (make-hash (cast '( (_bytes . bytes?) (_s8vector . s8vector?) (_u16vector . u16vector?) (_s16vector . s16vector?)

Re: [racket-users] printing and reading source code

2020-04-14 Thread Hendrik Boom
On Tue, Apr 14, 2020 at 12:04:22PM -0700, Raoul Schorer wrote: > Hi, > > The printer and reader doc states that the default printer can write *core* > types to be re-read later. > I am making a kind of "3d IDE" for a custom language using the pict3d lib. > I would like to re-use the pict3d

[racket-users] OpenGL: (lack of) progress report

2020-04-11 Thread Hendrik Boom
I'm (still) building the up-to-date opengl binding for Racket. It's substantially more difficut than I thought. As some of you know, the existing OpenGL binding is generated from files supplied by the standards orgaisation Khronos. Being automatically gnerated, it was quite complete. However,

[racket-users] typed mutable fields in structures.

2020-04-11 Thread Hendrik Boom
I noticed that in regular Racket, when defining a structure, it is possible for each field to be mutable independent of the other fields. In Typed Racke I find the choice only of making all the fields or none of them mutable. Is this correct, or have I missed something? -- hendrik -- You

Re: [racket-users] typing variable length argument lists

2020-04-11 Thread Hendrik Boom
ist)) (car list) > (begin >(apply fprintf anomaly message messageargs) >(if (null? list) list (car list) Thank you. That worked. The change to the apply syntax surprised me. -- hendrik > > On Fri, Apr 10, 2020 at 7:49 PM Hendrik Boom wrote: > >

[racket-users] typing variable length argument lists

2020-04-10 Thread Hendrik Boom
Trying to convert the following to typed Racket: (define (unique list message . messageargs) ; return the only element of the list, or '() if there is none. ; Produce message if not just one. (if (equal? 1 (length list)) (car list) (begin (apply fprintf (cons anomaly (cons

Re: [racket-users] [re: opengl] Is this known Racket syntax?

2020-04-10 Thread Hendrik Boom
On Fri, Apr 10, 2020 at 10:17:12AM -0400, Hendrik Boom wrote: > On Fri, Apr 10, 2020 at 10:05:34AM -0400, Jay McCarthy wrote: > > This comes from _fun, which define-gl expands to, > > > > https://docs.racket-lang.org/foreign/foreign_procedures.html#%28form._%28%28lib._ffi%2

Re: [racket-users] [re: opengl] Is this known Racket syntax?

2020-04-10 Thread Hendrik Boom
ocs.racket-lang.org/foreign/foreign_procedures.html -- hendrik > > Jay > > -- > Jay McCarthy > Associate Professor @ CS @ UMass Lowell > http://jeapostrophe.github.io > Vincit qui se vincit. > > On Fri, Apr 10, 2020 at 10:02 AM Hendrik Boom wrote: > > >

[racket-users] [re: opengl] Is this known Racket syntax?

2020-04-10 Thread Hendrik Boom
I'm building the new opengl binding for Racket, and keep running into surprises. Most of them are straightforward, but tedious, but I run into something strange. It's a piece of syntax in the original (presumably) corrent, but obsolete, binding -- specifically, a strange type. I thought I

Re: [racket-users] Examples of sending HTML email w/ Racket?

2020-04-09 Thread Hendrik Boom
On Wed, Apr 08, 2020 at 09:28:11PM -0400, George Neuner wrote: > > There's nothing in Racket for MIME that I'm aware of ... but then multipart > formatting is needed only for multi-version messages, or for embedding > non-text data (graphics, etc.) into a message.   Since so many people read >

[racket-users] scribble include

2020-04-06 Thread Hendrik Boom
Once again I'm trying to get @(include ...) working in scribble. The trouble with just using @(include filepath) in scribble is that the included file is read as racket input instead of syntax and semantics instead of wih scribble's syntax. So I thought to try include/reader instead; it has an

Re: [racket-users] Re: questions about top-level-bind-scope in root-expand-context

2020-03-23 Thread Hendrik Boom
On Mon, Mar 23, 2020 at 05:55:14PM -0400, George Neuner wrote: > On Mon, 23 Mar 2020 16:57:26 -0400, Hendrik Boom > wrote: > > >On Mon, Mar 23, 2020 at 02:46:53PM -0400, George Neuner wrote: > >> On Mon, 23 Mar 2020 01:45:40 -0700 (PDT), Yongming Shen > &g

Re: [racket-users] Gradual Typed Racket?

2020-03-23 Thread Hendrik Boom
On Mon, Mar 23, 2020 at 12:16:45PM -0400, Ben Greenman wrote: > > Not sure about best practices, but I definitely prefer keeping typed > and untyped code in separate modules. It can be veru useful to be able to mix them while in transition from one to the other. -- hendrik -- You received

Re: [racket-users] Re: questions about top-level-bind-scope in root-expand-context

2020-03-23 Thread Hendrik Boom
On Mon, Mar 23, 2020 at 02:46:53PM -0400, George Neuner wrote: > On Mon, 23 Mar 2020 01:45:40 -0700 (PDT), Yongming Shen > wrote: > > >Hi Matthew, > > > >Thank you for the quick reply! > > > >I tried the example you gave for my first question and it resulted in an > >error. > >I have the

[racket-users] Updating openGL bindings

2020-03-20 Thread Hendrik Boom
I have started updating the opengl bindings for Racket. The version in the package library is for OpenGL 4.2; whereas the current version is 4.6. Since the current version is automatically generated from files provided by Khronos, and Khronos has changed the format of these files, it amounts to

[racket-users] opengl

2020-03-15 Thread Hendrik Boom
On Sun, Mar 15, 2020 at 02:09:22PM -0400, Hendrik Boom wrote: > On Sun, Mar 15, 2020 at 10:48:48AM -0700, Eric Griffis wrote: > > On Sat, Mar 14, 2020 at 10:25 PM Hendrik Boom > > wrote: > > > > > By the way, I'm working on updating the opengl package to the

Re: [racket-users] Re: Code generation performance

2020-03-15 Thread Hendrik Boom
On Sun, Mar 15, 2020 at 10:48:48AM -0700, Eric Griffis wrote: > On Sat, Mar 14, 2020 at 10:25 PM Hendrik Boom wrote: > > > > There's a port of glm in the Racket package library. > > Is that the same one? If not, is it also that huge? > > Same repository, differen

Re: [racket-users] Re: Code generation performance

2020-03-14 Thread Hendrik Boom
On Sat, Mar 14, 2020 at 03:28:35PM -0700, Eric Griffis wrote: > > I'm pretty sure that's a lot of big files. It's for a port of GLM, a > graphics math library that implements (among other things) fixed-length > vectors of up to 4 components over 5 distinct scalar types, for a total of > 20

[racket-users] Need advice on XML representation

2020-03-09 Thread Hendrik Boom
I need a recommendation. I have a bunch of XML to read in, interpret, process, and to write out as corresponding Racket code. The resulting Racket code will not be XMLis at all. Searchni, I find mention of SXML, xexprs, and there seems to be an XML package as sell. Which is mode useful,

Re: [racket-users] why is glCreateVertexArrays absent?

2020-03-08 Thread Hendrik Boom
ent surface syntax. -- hendrik > > On Sun, Mar 8, 2020 at 5:52 AM Hendrik Boom wrote: > > > On Sat, Mar 07, 2020 at 07:32:01AM -0800, Sorawee Porncharoenwase wrote: > > > I know nothing about OpenGL, but the autogeneration > > > <https://github.com/stephanh42/R

[racket-users] ANSWER, not solution: why opengl module not up-to-date

2020-03-08 Thread Hendrik Boom
ook into it. -- hendrik > > On Sat, Mar 7, 2020 at 6:57 AM Hendrik Boom wrote: > > > Is there any technical reason why glCreateVertexArrays is missing from > > the Racket OpenGL package? > > > > The documentation at https://docs.racket-lang.org/opengl/index.html &

Re: [racket-users] why is glCreateVertexArrays absent?

2020-03-08 Thread Hendrik Boom
s I need until I manage to get world from the maintainer. -- hendrik > > On Sat, Mar 7, 2020 at 6:57 AM Hendrik Boom wrote: > > > Is there any technical reason why glCreateVertexArrays is missing from > > the Racket OpenGL package? > > > > The documentation at h

[racket-users] why is glCreateVertexArrays absent?

2020-03-07 Thread Hendrik Boom
Is there any technical reason why glCreateVertexArrays is missing from the Racket OpenGL package? The documentation at https://docs.racket-lang.org/opengl/index.html says that "Being automatically-generated means that it is quite complete." So I would have expected it to be present. But it is

Re: [racket-users] bad response from server

2020-03-03 Thread Hendrik Boom
a > release, which doesn't time out. And I switched to a release, which was more current than the snapshot, and it worked, as expected. -- hendrik > > At Mon, 2 Mar 2020 14:46:25 -0500, Hendrik Boom wrote: > > When trying to u[dat catalog I get a message > > > > get-all-

[racket-users] bad response from server

2020-03-02 Thread Hendrik Boom
When trying to u[dat catalog I get a message get-all-pkg-details-from-catalogs: bad response from server url: https://www.cs.utah.edu/plt/snapshots/20190720-93f4c9226b/catalog/pkgs-all?version=7.4.0.1 response: #f (for-loop . #(struct:srcloc # 299 2 11021 1759)) (for-loop .

[racket-users] Implementation of paraeters

2020-03-02 Thread Hendrik Boom
How are parameters implemented. My conceptial model is an association list (like in the original Lisp 1.5 manuel) would suffice, but that can lead to long searches. What is actually done in Racket? -- hendrik -- You received this message because you are subscribed to the Google Groups

Re: [racket-users] Re: quick racket editor survey

2020-02-29 Thread Hendrik Boom
there were a lot of other > differences unrelated to Elisp vs. MINT. Sounds like there was more than one microEmacs. Interesting. -- hendrik > > On Sat, Feb 29, 2020 at 12:56 PM Hendrik Boom > wrote: > > > On Sat, Feb 29, 2020 at 12:01:27PM +0100, Stephen De Gabrielle wrote: > &g

Re: [racket-users] Re: quick racket editor survey

2020-02-29 Thread Hendrik Boom
On Sat, Feb 29, 2020 at 12:01:27PM +0100, Stephen De Gabrielle wrote: > Hi james > > * I noticed several people at Racketcon using, not Aquamacs, but another > GUI version of Emacs. Is there any particular reason to pick one of these > over another?* > > Maybe spacemacs? (I don’t use spacEmacs

Re: [racket-users] a little bug

2020-02-28 Thread Hendrik Boom
-- hendrik > > Robby > > On Fri, Feb 28, 2020 at 6:31 AM Hendrik Boom wrote: > > > > On Fri, Feb 28, 2020 at 06:02:31AM -0600, Robby Findler wrote: > > > I agree that would be great. In the meantime, the Run button does a better > > > job with error reporting

Re: [racket-users] a little bug

2020-02-28 Thread Hendrik Boom
e started private correspondence with the language author.) -- hendrik > > Robby > > On Fri, Feb 28, 2020 at 5:45 AM Hendrik Boom wrote: > > > > > When Racket detects the out-of-memory condition during "background > > processing", it would be useful i t

Re: [racket-users] a little bug

2020-02-28 Thread Hendrik Boom
When Racket detects the out-of-memory condition during "background processing", it would be useful i the out-of-memory message were to point out which particular piece of source text it was having trouble with. Just the line number where the expression started that the REPL was having

  1   2   3   4   >