Re: [racket-users] Re: single-file packages and embedded documentation and metadata

Jack Firth wrote on 11/10/2017 11:32 PM: I have to redo my tools once more, and am sick of my current `(doc ...)` and `@doc` format, *and the resulting dependency on McFly.* Could you elaborate on your experience with this? A snippet of an example of embedded-docs source file for

[racket-users] Re: single-file packages and embedded documentation and metadata

> > I have to redo my tools once more, and am sick of my current `(doc ...)` > and `@doc` format, *and the resulting dependency on McFly.* > Could you elaborate on your experience with this? For a module with embedded docs I'd want to treat them the same as tests: in a special submodule

[racket-users] single-file packages and embedded documentation and metadata

xample file.  You can also see a screenshot of what it looks like with some very simple editor support, to help visually differentiate "code" from docs/metadata (without getting philosophical any distinction), at: "http://www.neilvandyke.org/temporary/20171110-racket-example.png; (The

[racket-users] How does a macro properly expand to a define-runtime-path?

How does a macro properly expand to a define-runtime-path? The documentation for define-runtime-path says this: If the form has a source module according to syntax-source-module , then the source location is determined by preserving the original expression as a syntax object, extracting its

Re: [racket-users] unexpected behavior of parametric polymorphism in Typed Racket

Your intuitions about both questions are right here. First, type variables are only introduced into scope automatically in the function body for function definitions. You can use `#:forall` with `define` to use polymorphic types inline, but that does not allow you to define a polymorphic store

Re: [racket-users] switching to an alternate syntax using a lang extension: binding issues

fre. 10. nov. 2017 kl. 08.23 skrev Vincent Nys : > Perhaps http://docs.racket-lang.org/multi-file-lang/index.html can be of use? -- -- Jens Axel Søgaard -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe

[racket-users] unexpected behavior of parametric polymorphism in Typed Racket

I'm getting surprising results trying to define an abstract polymorphic type in Typed Racket. Could someone shed some light on this? Consider the following definitions: (struct addr ([ptr : Natural])) (struct (α) store ([next-addr : addr] [table :

Re: [racket-users] switching to an alternate syntax using a lang extension: binding issues

On Thu, Nov 09, 2017 at 11:23:47PM -0800, Vincent Nys wrote: Hi, I have a domain-specific language with a non-parenthesis-based-syntax and running programs written in this DSL sometimes leads to the creation of some fairly large data structures. By "large" I mean that it is still feasible to