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

2020-04-21 Thread Hendrik Boom
On Tue, Apr 21, 2020 at 05:30:40PM -0400, John Clements wrote:
> Are you asking because you’d like your own code using SXML to be typed, or 
> because you’d like the sxml implementation to be typed? I think another way 
> of asking this is: are you worried about bugs in your code, or about bugs in 
> Oleg’s code?

About bugs in my code.

> I think that rewriting the sxml library into TR would be a lot 
> of work, but developing a TR representation for sxml terms seems quite 
> reasonable;

> of course, you’d pay the price of checking the type every time 
> you crossed 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 21, 2020, at 2:18 PM, Hendrik Boom  wrote:
> > 
> > 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.  Because it *will* be OK.
> > The xml file I'm dealing with is 2564178 bytes.
> > 
> > (I'm glad I have RAM nowadays.  The first Lisp I ever used ran on a 
> > machine with 20.000 digits of memory (approx 10K in today's units).
> > 
> > Failing anything else I suppose I could define
> >  (define-type Xml Any)
> > but that seems kind of feeble.
> > 
> > -- hendrik
> > 
> > -- 
> > 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.
> > To view this discussion on the web visit 
> > https://groups.google.com/d/msgid/racket-users/20200421211829.uo3ikwfwotr6zcf5%40topoi.pooq.com.
> 
> 
> 

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/20200421215657.ix2kwts77p7eqlxu%40topoi.pooq.com.


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

2020-04-21 Thread 'John Clements' via Racket Users
Are you asking because you’d like your own code using SXML to be typed, or 
because you’d like the sxml implementation to be typed? I think another way of 
asking this is: are you worried about bugs in your code, or about bugs in 
Oleg’s code? I think that rewriting the sxml library into TR would be a lot of 
work, but developing a TR representation for sxml terms seems quite reasonable; 
of course, you’d pay the price of checking the type every time you crossed the 
boundary into sxml library code, I suppose.

John

> On Apr 21, 2020, at 2:18 PM, Hendrik Boom  wrote:
> 
> 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.  Because it *will* be OK.
> The xml file I'm dealing with is 2564178 bytes.
> 
> (I'm glad I have RAM nowadays.  The first Lisp I ever used ran on a 
> machine with 20.000 digits of memory (approx 10K in today's units).
> 
> Failing anything else I suppose I could define
>  (define-type Xml Any)
> but that seems kind of feeble.
> 
> -- hendrik
> 
> -- 
> 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.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/20200421211829.uo3ikwfwotr6zcf5%40topoi.pooq.com.



-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/b14c3ce3-c8c5-400b-83e8-1d4de2cad2da%40mtasv.net.