I’m having a great deal of fun working through The Little Typer. I’ve run into
a problem that I’m sure has a simple solution, but I don’t know what it is. To
understand my question, let me first give a simple example.
Here’s a dependent type that’s uninhabited when n is zero:
#lang pie
(claim
> On Dec 30, 2018, at 8:41 PM, Jonathan Simpson wrote:
>
> I'm doing #1, so I think #2 is the explanation. 'type' is a function
> available in expander.rkt so the literal will only match that binding. The
> same is true for 'offset'. Both need to be provided. 'test' is not bound to
> anythin
On Sunday, December 30, 2018 at 8:51:25 PM UTC-5, Matthew Butterick wrote:
>
> Without seeing "reader.rkt" or "expander.rkt" — I'd guess that:
>
> 1) `read-syntax` isn't stripping all bindings from its parse tree before
> returning it. Though this isn't mandatory, it's a wise practice to avoid
On Thu, 27 Dec 2018 17:15:39 -0500, Hendrik Boom
wrote:
>On Thu, Dec 27, 2018 at 02:06:22PM -0800, Andrew Gwozdziewycz wrote:
>> On Thu, Dec 27, 2018 at 8:24 AM Brett Gilio wrote:
>>
>> Python was meant to be a better version
>> of that. The History of Python wiki page suggests it was meant as a
On Thu, 27 Dec 2018 21:27:02 -0500, Neil Van Dyke
wrote:
>Stephen De Gabrielle wrote on 12/27/18 4:47 PM:
>> I always wanted to ask if the prototype object model is a good
>> idea or bad idea?
>
>I think it's not a bad idea, but I think you probably wouldn't use it
>for general-purpose OOA, OOD
> On Dec 30, 2018, at 3:13 PM, Jonathan Simpson wrote:
>
> Adding a '(provide type)' in expander.rkt (where 'line' is defined) gets me
> past this error. Strangely, providing 'compare' or 'offset' doesn't seem to
> be necessary. I'm interested in any theories as to why this might be the case.
On Saturday, December 29, 2018 at 11:16:05 PM UTC-5, Alexis King wrote:
>
> > On Dec 29, 2018, at 21:32, Philip McGrath > wrote:
> >
> >> Respectfully, I would also concentrate on Rackets web presence. If I
> was to google any of the popular languages, I would find the answer to
> these que
Thanks for your extensive reply. I realized that I have based my
opinions on Racket 6.7 and we are living in 7.1-era, which makes some
(but not all) of my words a bit irrelevant (I was subscribed here for
all this time, but it just... skipped my attention somehow). I will
address few points below.
On Saturday, December 29, 2018 at 10:32:28 PM UTC-5, Philip McGrath wrote:
>
> On Sat, Dec 29, 2018 at 10:31 AM BD1 a >
> wrote:
>
>>
>> Are you looking for more or different material, or was it not clear to
> you from the presentation on the website that these examples were what you
> are loo
You cannot do that: The control already uses text% snips internally for each
item, but it redefines their `on-default-char` method to discard all
keyboard
input, which means they are not editable in-line.
If you want to have a look, the implementation for the hierarchical-list%,
is
in your Racke
Here is the short version.
Rackets website does not sell Racket, it does not answer the WHY, someone
should choose racket to solve problems. It’s not clear as to the benefits
of using racket, it’s not clear what advantage I get for choosing Racket
over something like Python for web develo
Adding a '(provide type)' in expander.rkt (where 'line' is defined) gets me
past this error. Strangely, providing 'compare' or 'offset' doesn't seem to
be necessary. I'm interested in any theories as to why this might be the
case.
Thanks for your help.
-- Jonathan
On Sunday, December 30, 2018
Den søn. 30. dec. 2018 kl. 22.33 skrev Jonathan Simpson :
> On Sunday, December 30, 2018 at 3:58:50 PM UTC-5, Jens Axel Søgaard wrote:
>
>> The error
>>
>> line: bad syntax
>> (line (offset 0) (type (string8 "string")) (test (strtest "MZ")))
>>
>> means that the macro `line` doesn't have a
On Sunday, December 30, 2018 at 3:58:50 PM UTC-5, Jens Axel Søgaard wrote:
> The error
>
> line: bad syntax
> (line (offset 0) (type (string8 "string")) (test (strtest "MZ")))
>
> means that the macro `line` doesn't have a clause that matches the input.
>
> How is line defined?
>
> /Jens A
The error
line: bad syntax
(line (offset 0) (type (string8 "string")) (test (strtest "MZ")))
means that the macro `line` doesn't have a clause that matches the input.
How is line defined?
/Jens Axel
Den søn. 30. dec. 2018 kl. 21.27 skrev Jonathan Simpson :
> I'm bumbling through my f
I'm bumbling through my first attempts at creating a language in Racket and
am currently stuck debugging an error in expansion. I have a macro in my
expander that works fine until I try to run the language.
Here's what the macro stepper in DrRacket gives me:
[Error]
line: bad syntax
(line (o
Tomas, thank you for your helpful comments. I just wanted to comment on
a couple side points right now.
Tomasz Rola wrote on 12/29/18 1:48 PM:
I understand Racket community no longer considers themselves as part
of Scheme landscape, but I am unable to say where I get this
impression from.
I
On Sat, Dec 29, 2018 at 2:25 PM Neil Van Dyke wrote:
>
>
> > /tmp/Sara's birthday, 9/12/01-18/181: No such file or directory
>
> The "/" in the filename is a separate problem, which actually has
> nothing to do with shell special character command line
> escaping/quoting. If you're on a Unix deri
Following the topic of Racket gui apps I decided to ask a question here
before I plunge into a rabbit hole from which I may take hours to climb
back. I am trying to implement a type of GUI app which is usually called an
outliner. Basically it should be a Hierarchical List like the one provided
19 matches
Mail list logo