I just realized that my racket-users archive is split, and there is some
discussion of racket2nix in the 2018-19 time frame. It looks like I
actually posted a message back then--! I'll go review that thread, but
of course I'd still welcome an update from any devs or users.
--
Antho
list, I'd welcome a introduction / summary / status update on
their project.
--
Anthony Carrico
--
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 r
On 6/9/20 12:57 PM, Anthony Carrico wrote:
> (letrec ((super0 (combine initial (overlay0 self initial)))
> (super1 (combine super0 (overlay1 self super0)))
> (super2 (combine super1 (overlay2 self super1)))
> ;; etc...
> (final superN))
>
your downstream peers in the chain, will be overriding
the ones in super, if you provide something from self, you know it is
the stable final result.
Isn't there some solid semantics for a hopeful top level in this idea?
--
Anthony Carrico
--
You received this message because you are subscri
if there was a standard "jmp with arguments"
instruction (which cleaned up the stack) that you could use to escape
into a stackless mode of operation.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To u
On 12/12/19 10:36 PM, Sam Tobin-Hochstadt wrote:
Yes, basically. I'd say it's showing how to translate that Racket code
(taken from Shriram Krishnmurthi's JFP paper/LL1 talk) into Sham.
Nice. Looking forward to less brief summary of the tool.
--
Anthony Carrico
--
You receiv
On 12/12/19 10:05 PM, Sam Tobin-Hochstadt wrote:
You might be interested in our project Sham
So is this compiling a state machine (or, two actually) to llvm and
running against a Racket oracle?
https://github.com/rjnw/sham/blob/master/test/automata.rkt
--
Anthony Carrico
--
You received
and we've called them procedures for
30 years, so why not call them procedures?
F: Functions don't really exist only procedures! So let's call them
functions!
G: Huh?
H: Wadler's Law
Me: Must... Resist... Being... A... Troll...
Fail
--
Anthony Carrico
--
You received this messag
ly if the domain of
> f is compatible with the co-domain of g.
Perfect.
--
Anthony Carrico
--
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-u
in
this thread that the word "procedure" hurts anything. Why not stick with
what seems to be an accurate term and avoid confusion down the line?
> YMMV,
> George
PS: Thanks for the sparring. Think on this: we couldn't even have this
conversation without the distinction.
--
I'm very surprised to see the Racket community rally to
eliminate it. Even within the same abstraction mechanism, the two ideas
are very useful.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe
n the public
domain.
--
Anthony Carrico
--
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, vi
t. Amazingly, Nix has already solved many such weird issues. If
this Racket/Nix effort goes forward, Racket users will probably need
some guidance (and discipline) regarding foreign libraries.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
&
on on the state of
OpenGL than Nix in my opinion, but we ended up developing in a NixOs vm
for this reason only. I don't remember what other changes I made, this
was the biggest pain point. I did integrate with other foreign functions.
--
Anthony Carrico
--
You received this message becau
e for this
language is not complete, but, we argue, not substantially worse than
for Standard ML.
"An alternative view is that 1ML is a user-friendly surface syntax for
System Fω that allows combining term and type abstraction in a more
compositional manner than the bare calculus."
--
A
> https://lexi-lambda.github.io/blog/2017/10/27/a-space-of-their-own-adding-a-type-namespace-to-hackett/
Nice summary. Whoever writes the great macro programming book in the sky
would do well to review this post. Good work as usual Alexis.
--
Anthony Carrico
--
You received this mess
I totally missed the announcement for this, but I watched the first half
last night. It is great, I had to keep stopping to take notes.
Really great job Alexis, a lucid expo. of impressive work. Thanks for
hosting Jay.
--
Anthony Carrico
--
You received this message because you are subscribed
x27;ve setup a few feeds using my branch, but haven't
decided if I'll use it long term. If I do so, I'll probably need a
couple more features/fixes.
2. I've played with the Lua based imapfilter, which seems nice. I'm not
sure if there is a good argument for porting that
gle FFI,
or by documenting the mappings, like when you model a lazy application
with a thunk, or whatever.
--
Anthony Carrico
--
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
On 01/19/2017 09:30 AM, Anthony Carrico wrote:
> What do contemporary programmers want? They want some kind of static
> proof that their interfaces are good.
I didn't put the following in my rant, because why muddy a good rant?
But to elaborate, they also want productivity, and that
. or rather has already emerged
> https://github.com/LuxLang/lux
> https://luxlang.gitbooks.io/the-lux-programming-language/content/
See also Alexis King's:
https://lexi-lambda.github.io/blog/2017/01/05/rascal-is-now-hackett-plus-some-answers-to-questions/
--
Anthony Carrico
--
You receive
lled Scheme. This is speaking as one of the few
programmers in the world who has been paid to program in typed racket.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receivi
ue? #lang something/else, and the problem is solved, no?
--
Anthony Carrico
--
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.
Unless I missed it, the link needs to be added to the Racket blog.
--
Anthony Carrico
--
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 r
tely, a bigger task, for true cross language integration, the
ghetto racket packages should be imported into Nix as cabal2nix now
integrates Haskell with Nix.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To u
lementation of modules + modules + top level
--
Anthony Carrico
--
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.
e hangout on typed racket + the class
system for evidence about just how sticky things are in the real world.
Don't get me wrong, PLT has done, and is doing the work, and that work
is under appreciated by the programming languages community, but
still... really? Let's not over-sell and unde
hen it comes to Racket, I think
we are all surprised by just what is in those docs sometimes. Also, is
Jay serious or sarcastic???
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and sto
t a naturally formed
> community. It's a business. And that business depends, largely, on
> moving knowledge into SO's walled garden so they can sell ads. In
> truth, it's not in SO's interest for visitors to know that better
> resources exist elsewhere.
> ...
Wel
on't have any good data for you
about the circumstances of the issue though.
--
Anthony Carrico
--
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 rac
t to Ryan and Claire.
Working through 'Basic Macrology' is a great reminder about (or
introduction to) the little issues with macros. I'm looking forward to
the next section.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"
Expand into a (sub)module?
--
Anthony Carrico
--
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 mo
On 12/15/2015 06:48 AM, John Berry wrote:
> In Heresy I did something like the (pipe ...) function above:
Oh for a nice chart comparing all the nice (partial) application variants!
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Rack
m
his manager's point, many programs will leave students unemployable in
the not to distant future; he gives a nice plug for HTDP/2e and worlds.
http://www.functionalgeekery.com/episode-37-eric-smith/
Enjoy!
--
Anthony Carrico
--
You received this message because you are subscribed to the Goo
On 11/10/2015 12:10 AM, Ty Coghlan wrote:
> I'm currently attempting to embed Rust into racket,
I'd like to see how this turns out. Post a link if you do a development
blog or anything like that.
--
Anthony Carrico
--
You received this message because you are subscribed to the
rc last night:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.162.17
The paper illuminates the history and all the issues raised is this thread.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this
In case I'm being to oblique, I'm trying to point out that:
(equal? '#:test ':test) ; -> #f
which means that the proposal will certainly break things.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Racket Users
On 10/15/2015 03:39 PM, Anthony Carrico wrote:
> On 10/15/2015 03:37 PM, Anthony Carrico wrote:
>> I didn't really want to get dragged into this, but keep in mind that:
>>
>> (symbol? #'test) ; -> #f
>
> err... (symbol? '#:test) ; -> #f
&g
On 10/15/2015 03:37 PM, Anthony Carrico wrote:
> I didn't really want to get dragged into this, but keep in mind that:
>
> (symbol? #'test) ; -> #f
err... (symbol? '#:test) ; -> #f
--
Anthony Carrico
--
You received this message because you are subscribed to th
I didn't really want to get dragged into this, but keep in mind that:
(symbol? #'test) ; -> #f
IIRC the common lisp keywords you admire are symbols. I think that the
proposed syntax confuses symbols and keywords, which are distinct types.
--
Anthony Carrico
--
You received
On 09/18/2015 08:18 AM, Robby Findler wrote:
> On Thu, Sep 17, 2015 at 11:24 PM, Anthony Carrico
> wrote:
>> I get that it wants the freedom, I'm just not sure it currently has the
>> freedom.
>
> I believe it currently does not have that freedom. My messages w
On 09/17/2015 11:03 PM, Anthony Carrico wrote:
> Really what I'm trying to say is that the language implementation
> wants the freedom to adjust your program without having to be
> constrained by eq tests that you might do. One example of this is
> contracts. I might wish to be
On 09/17/2015 11:03 PM, Anthony Carrico wrote:
> Really what I'm trying to say is that the language implementation
> wants the freedom to adjust your program without having to be
> constrained by eq tests that you might do. One example of this is
> contracts. I might wish to be
this by storing those partitions
directly inside the scope objects, avoiding a weak table. There are
costs and benefits of the two options.
Anyway, if we are allowed to use weak tables for memory management, then
we require a stable notion of identity. I agree that object identity is
ugly, s
This exchange fell off the list accidentally:
On Thu, Sep 17, 2015 at 8:58 PM, Anthony Carrico
wrote:
> On 09/17/2015 09:27 PM, Robby Findler wrote:
>> eq? on symbols is a special part of the specification and that seems
>> benign to me, all things considered. The "giant h
t across the boundary
to untyped code, could the table lose that entry? I found this check-eq?
issue disturbing.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving
check-false
so the computation stays in typed/racket.
I don't think I have an actual question for the list. I'm just
mentioning it here because I don't remember reading anywhere that
testing can be an issue in typed/racket. Discuss?
--
Anthony Carrico
--
You received this mes
On 09/10/2015 08:40 PM, Anthony Carrico wrote:
> I'll forward you a transcript of a failed build.
FYI: Off list Matthew suggested that it ran out of memory, and indeed
the build succeeds with more free memory.
--
Anthony Carrico
--
You received this message because you are subscribe
On 09/10/2015 04:27 PM, Matthew Flatt wrote:
> At Thu, 10 Sep 2015 15:10:27 -0400, Anthony Carrico wrote:
>> This failed to
>> build, I guess because of package mismatches, so I pulled and tried
>> again, which failed.
>
> I'm a little curious about that failure, b
ased version of Racket downloaded from the site, but have a git
> clone of some small set of other package repos that you are doing
> development on. The only difference will be the first three steps.
>
> I hope this helps,
>
> <3
>
> Jay
>
--
Anthony Carrico
-
https://github.com/greghendershott/racket-mode/
--
Anthony Carrico
--
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...@google
Thanks for clearing that up Ryan & Matthew :).
--
Anthony Carrico
--
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...@go
at nostops does nothing to
reinstall the original transformers of the cleared stops. Shouldn't it?
--
Anthony Carrico
--
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
the lead.
--
Anthony Carrico
--
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
On 06/23/2015 04:26 PM, Anthony Carrico wrote:
> On 06/19/2015 11:19 PM, Ryan Culpepper wrote:
>> With this release we are taking a major step forward to get our user
>> community even more involved than in the past...
>
> It looks like I'm running currently running
n racket,
* sync,
* build again.
--
Anthony Carrico
--
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 o
ring it on.
--
Anthony Carrico
--
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:/
Has this been an oversight? Do we need two "official" test submodules?
One from the inside, and one from without.
--
Anthony Carrico
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop r
On 05/21/2015 08:44 AM, Neil Van Dyke wrote:
> Three advantages of `test` submodules interspersed with the
> implementation code:
It is worth mentioning that submodules don't work well with typed racket
yet, so TR tests are often in another file.
--
Anthony Carrico
--
You re
oo.
We talked about this on the list back in February. IIRC, you can just use:
(_cpointer 'optionstruct)
or
(_cpointer/null 'optionstruct)
directly, or bind one of those to any name which won't cause a conflict.
There will be no undefined identifier error because 'optionstr
reference an identifier before its definition
Is this a bug? Just a limitation?
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
On 02/05/2015 05:01 PM, Jens Axel Søgaard wrote:
> Maybe you can find something useful here:
> http://pkg-build.racket-lang.org/doc/c-utils/index.html
Hey, this is pretty cool. I wonder if Dave Herman has thought of bolting
this to Clang.
--
Anthony Carrico
signature.asc
Descr
zilay/Dmitry Orlovsky "Foreign Interface for PLT Scheme".
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
ou suggest in this case because of the "cannot reference
an identifier before its definition" error.
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
On 02/01/2015 05:57 PM, Anthony Carrico wrote:
> I get a "duplicate definition" error if I declare a pointer ahead:
>
> (define _wl_interface-pointer (_cpointer 'wl_interface))
This isn't perfectly satisfying, but one option is to use a different
name for the
nts _wl_message-pointer)))
or a "cannot reference an identifier before its definition" if I don't.
I'll keep looking through the docs to see if there is another way, but
please speak up if you happen to know the correct pattern.
--
Anthony Carrico
signature.asc
Des
On 01/14/2015 09:14 AM, Anthony Carrico wrote:
> exec racket ...
exec is the unix tail call!
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
dirname $(grealpath $0))
> racket -t prog.rkt
I've always lamented the fact that #lang interferes with #!interpreter
on Unix, so this needs to run /bin/sh, but I think you can do
exec racket ...
as the final line here to avoid forking one extra process.
--
Anthony Carrico
signature.a
On 01/11/2015 03:52 PM, Anthony Carrico wrote:
> On possibility is to avoid putting values into Variables at all, and to
> just keep blue delta bookkeeping and thunks in the structures. I think
> this would avoid the trouble, but I still wonder if the original version
> is somehow pos
On 01/11/2015 02:19 PM, Anthony Carrico wrote:
> Is it possible to capture this kind of polymorphism in TR? Do I have to
> give up on typing the Variables? Could I do it with macros?
On possibility is to avoid putting values into Variables at all, and to
just keep blue delta bookkeepi
On 01/11/2015 02:19 PM, Anthony Carrico wrote:
> Here is some fake code that shows (partially) the data structures in
> delta blue's pseudo code:
Actually, I in my pseudo code, this definition for Variable is wrong,
because it implies that every constraint on this variable has the sa
) Tout))
(index : Natural)))
Is it possible to capture this kind of polymorphism in TR? Do I have to
give up on typing the Variables? Could I do it with macros?
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
avoid the double printing problem, although I'm not exactly sure
why it would have that effect.
Thanks!
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
t; generic interfaces. I can use prop:custom-write for the first one,
>> but I don’t know what to do for gen:dict.
>>
>> Otherwise I’ll just put it in an untyped submodule.
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
;
I think there must be a typo here, what exactly happens if the
expression evaluates to #f?
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
On 09/05/2014 03:48 PM, Anthony Carrico wrote:> On 09/05/2014 11:48 AM,
> Apparently. I was trying to figure out if this is something I don't
> know how to annotate properly, or ...
and then,
On 09/07/2014 08:20 AM, Alexander D. Knauth wrote:
> (: fn : (All (V) [V ->
information to typecheck.
please add more type annotations
in: loop
context...:
/home/acarrico/src/racket/collects/racket/private/map.rkt:21:13: map
/home/acarrico/src/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt:147:26
...etc.
--
Anthony Carrico
_
Even something like this won't type check:
(define #:∀ (V) (fn (r : V)) : V
(define (loop) : Void (loop))
r)
So all that stuff about cps-ish code may be irrelevant.
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
Look at the grammer in
http://docs.racket-lang.org/reference/require.html, you use something
like (submod "." wrap).
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
is something I don't know
how to annotate properly, or something that really requires a code
transformation to type.
> 3. Think about the algorithm. This hint comes in the form of a cps
> algorithm:
Thank you for the cps converter. I'm not sure if it is relevant to the
int
olymorphic types.
The unions would "obviously" (to a human) collapse, but I suppose the
type checker isn't picking up on this.
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
s borrowed from philosophy/logic.
I initially understood it that way. Apparently this was just a typo in
the version of the tutorial on this machine. I just noticed that the
current web page fixes the exercise to use a term from the defined
language "L".
--
Anthony Carrico
t;
Is object-language a predefined language? Or does the exercise expect me
to use define-language to create an appropriate object-language without
types?
--
Anthony Carrico
Racket Users list:
http://lists.racket-lang.org/users
et-lang.org/search/
http://mycroftproject.com/updateos.php/id0/racket.xml"/>
Does anyone know about it? There is probably a way to make the plugin
installable from the racket webpages. BTW, zamora.com doesn't seem to be
active anymore (although I didn't try the email).
Waiting for
on my stack -- Matthias
This is awesome, but obscure and out of date:
http://www.ccs.neu.edu/home/ryanc/macro-patterns/index.html
Did this material get moved forward someplace? It would make for a start
on the later chapters of How to Design Macros.
--
Anthony Carrico
signature.asc
Descri
those three
columns (together) to take up more than 2/3 of the screen (even in full
screen mode). Right now I'm looking at this page:
http://docs.racket-lang.org/guide/match.html
which has content in the first column at the top, and third column way
at the bottom.
--
Anthony Carrico
__
On 11/16/2013 08:01 PM, Anthony Carrico wrote:
> On 11/16/2013 01:28 PM, jean-paul@unice.fr wrote:
>> Hi Anthony !
>> Will your signal language be on Github at some point ?
>> Thanks,
>
> Yes, I will try to do that soon. I'm at
> https://github.com/acarr
On 11/16/2013 08:57 AM, Anthony Carrico wrote:
> 6. Here is an example from my unit tests. It is a delay line:
Oops, I forgot to show you the output:
$ raco test main.rkt
raco test: (submod "main.rkt" test)
::: (1 0 0 1)
::: (3 0 1 2)
::: (6 1 2 3)
::: (9 2 3 4)
12 tests passed
alue y))
;; 1, 2, 3
(event x2 3)
(propagate)
(printf "::: ~s\n" (map source-value (list y x0 x1 x2)))
(check = 6 (source-value y))
;; 2, 3, 4
(event x2 4)
(propagate)
(printf "::: ~s\n" (map source-value (list y x0 x1 x2)))
(check = 9 (source-val
Don't feel lonely. Keep putting your stuff in github. Update your
readme, put in some examples, maybe in a submodule as unit tests:
(module+ test (require rackunit))
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
Is there a package that represents the current best practice for the new
package system (naming, organizing, modules, submodules, files, docs,
tests, READMEs, the works)? I know a lot of them were ported forward,
and this area is evolving. A really decent example would be nice.
--
Anthony
code that already uses a
default constructor name. You may want to change the struct's
representation, but now you can't emulate the old constructor. I guess
the forward looking programmer would always use the make-xxx convention
to avoid this pitfall. Am I missing anything?
--
bout data structures in TR.
(struct: (a) Leaf ((leaf : a)))
(struct: (a) Deep ((left : (Digit (U (Leaf a) (Node a
(spine : (Fingertree a))
(right : (Digit (U (Leaf a) (Node a))
(define-type (Fingertree a) (U Empty (Single a) (Deep a)))
:).
(struct: (a) Deep ((spine : (Deep (List a)
This checks fine, but try to use it:
(: test ((Deep Number) -> Boolean))
(define (test ft) (Deep? ft))
And it hangs. So maybe indirection just pushes the problem somewhere else?
--
Anthony Carrico
signature.asc
Description: OpenPGP dig
Cool. It is great have the opportunity to learn about types a familiar
environment. Thanks.
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
1/finger-trees.html
http://maniagnosis.crsr.net/2010/12/measured-finger-trees.html
Thanks again.
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
ode a)))
(right : (Digit a
(define-type (Fingertree a) (U Empty (Single a) (Deep a)))
Thank you!
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
Haven't seen this on the list yet:
http://blog.fogus.me/2013/01/21/enfield-a-programming-language-designed-for-pedagogy/
Enjoy!
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
On 11/29/2012 01:20 AM, Anthony Carrico wrote:
> (module+ test
> (check = 4 (scheme_eval '(+ 2 2) (make-base-namespace
>
Hmm, a clue, this doesn't fail:
(module+ test
(check-false (scheme_eval '#f (make-base-namespace))))
--
Anthony Carrico
signature.
eck = 4 (scheme_eval '(+ 2 2) (make-base-namespace
If I change scheme_eval to eval in "check =" there is no failure.
I know, strange example. I just came across the issue while hacking.
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
Racket Users list:
http://lists.racket-lang.org/users
1 - 100 of 109 matches
Mail list logo