[racket] Multi-return Function Call

2012-02-20 Thread Anthony Carrico
It is only 60 LOC, so go ahead and take a look: https://github.com/acarrico/multi README: AUTHOR: Anthony Carrico This is an implementation of Olin Shivers'/David Fisher's "Multi-return Function Call". I'll quote from the abstract of their paper: "It is possi

Re: [racket] Multi-return Function Call

2012-02-21 Thread Anthony Carrico
tisfied with that journal article. Somebody really liked that journal article: http://www.weaselhat.com/2006/10/01/multi-return-function-call/ -- Anthony Carrico signature.asc Description: OpenPGP digital signature Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Multi-return Function Call

2012-02-21 Thread Anthony Carrico
cing Whalesong. What is going on there? I'm sure I haven't explored all the hooks in Racket yet. [Danny: the single/multiple-value return points does sound like a neat trick]. Anyway. Thanks again David, and all you pros who took the time to look it over. I really appreciate it.

[racket] Thank You RacketCon 2012

2012-10-15 Thread Anthony Carrico
etCon! -- Anthony Carrico signature.asc Description: OpenPGP digital signature Racket Users list: http://lists.racket-lang.org/users

Re: [racket-users] Mutually recursive struct pointers in FFI?

2015-04-15 Thread Anthony Carrico
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

Re: [racket-users] test submodules vs tests in separate file

2015-05-21 Thread Anthony Carrico
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

Re: [racket-users] test submodules vs tests in separate file

2015-05-22 Thread Anthony Carrico
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

Re: [racket-users] try a new macro expander

2015-06-23 Thread Anthony Carrico
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:/

Re: [racket-users] Racket v6.2

2015-06-23 Thread Anthony Carrico
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

Re: [racket-users] Racket v6.2

2015-06-23 Thread Anthony Carrico
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

Re: [racket-users] Racket v6.2

2015-06-24 Thread Anthony Carrico
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

[racket-users] stops in Macros that Work Together

2015-07-06 Thread Anthony Carrico
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

Re: [racket-users] stops in Macros that Work Together

2015-07-07 Thread Anthony Carrico
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

Re: [racket-users] Emacs & Racket.

2015-07-19 Thread 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

Make, in place build, was Re: [racket-users] Racket v6.2

2015-09-10 Thread Anthony Carrico
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 -

Re: Make, in place build, was Re: [racket-users] Racket v6.2

2015-09-10 Thread Anthony Carrico
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

Re: Make, in place build, was Re: [racket-users] Racket v6.2

2015-09-10 Thread Anthony Carrico
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

[racket-users] typed/racket + rackunit = trouble

2015-09-15 Thread Anthony Carrico
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

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Anthony Carrico
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

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Anthony Carrico
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

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Anthony Carrico
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

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Anthony Carrico
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

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Anthony Carrico
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

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-18 Thread Anthony Carrico
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

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-15 Thread Anthony Carrico
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

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-15 Thread Anthony Carrico
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

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-15 Thread Anthony Carrico
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

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-15 Thread Anthony Carrico
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

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-23 Thread Anthony Carrico
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

Re: [racket-users] Embedding Rust in Racket

2015-11-11 Thread Anthony Carrico
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

[racket-users] Functional Geekery Episode 37 – Eric Smith

2015-12-03 Thread Anthony Carrico
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

Re: [racket-users] about rackjure

2015-12-15 Thread Anthony Carrico
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

Re: [racket-users] Prefix-in for macros

2016-01-22 Thread Anthony Carrico
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

[racket-users] Basic Macrology by Ryan Culpepper and Claire Alvis

2016-01-25 Thread Anthony Carrico
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 "

Re: [racket-users] a little bug

2016-02-05 Thread Anthony Carrico
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

Re: [racket-users] Expression-style printing and quotation: helpful or harmful?

2016-02-06 Thread Anthony Carrico
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

Re: [racket-users] Expression-style printing and quotation: helpful or harmful?

2016-02-08 Thread Anthony Carrico
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

[racket] rackunit (success)

2011-06-20 Thread Anthony Carrico
cer as (success "not found"), but I don't see a "success" check. It is my first time using rackunit, so maybe I'm overlooking something. -- Anthony Carrico signature.asc Description: OpenPGP digital signature ___

Re: [racket] rackunit (success)

2011-06-20 Thread Anthony Carrico
On 06/20/2011 12:40 PM, Anthony Carrico wrote: > On 06/20/2011 12:04 PM, Noel Welsh wrote: >> I.e. you don't need to signal success for a test to pass. > ... > I see, that makes sense. Thanks. Sorry the thanks didn't go to the list, but actually there is more. I think

Re: [racket] rackunit (success)

2011-06-20 Thread Anthony Carrico
On 06/20/2011 12:50 PM, Anthony Carrico wrote: > Sorry the thanks didn't go to the list, but actually there is more. I > think I'm reaching for a way to make sure it took that (success) code > path. That would be necessary to truly test such code. > In this case, you cou

Re: [racket-users] Multiple namespaces in Racket

2017-10-30 Thread Anthony Carrico
> 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

Re: [racket-users] The Birth and Death of Units

2018-01-22 Thread Anthony Carrico
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

Re: [racket-users] Re: racket2nix

2018-02-14 Thread Anthony Carrico
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

Re: [racket-users] Re: racket2nix

2018-02-21 Thread Anthony Carrico
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 &

Re: [racket-users] Licence guidance

2018-09-26 Thread Anthony Carrico
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

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

2019-01-17 Thread Anthony Carrico
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

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

2019-01-21 Thread Anthony Carrico
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. --

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

2019-01-22 Thread Anthony Carrico
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

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

2019-01-22 Thread Anthony Carrico
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

Re: [racket-users] What do you use macros for?

2016-04-12 Thread Anthony Carrico
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

Re: [racket-users] [ANN] A type-expander library for Typed/Racket

2016-08-26 Thread Anthony Carrico
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.

[racket-users] Racket development with nix

2016-11-11 Thread Anthony Carrico
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

[racket-users] new Racket blog feed

2017-01-13 Thread Anthony Carrico
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

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-18 Thread Anthony Carrico
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.

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Anthony Carrico
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

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Anthony Carrico
. 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

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Anthony Carrico
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

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-20 Thread Anthony Carrico
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

[racket-users] [Racket-users] IMAP with racket

2017-02-11 Thread Anthony Carrico
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

Re: [racket-users] Re: Inside Racket Seminar 7. Alexis King on Hackett

2017-09-27 Thread Anthony Carrico
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

Re: [racket] Elm-like language

2013-12-03 Thread 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

Re: [racket] No `next->` at the bottom of document pages?

2014-01-29 Thread Anthony Carrico
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 __

Re: [racket] Formal Presentation and initial doubts.

2014-03-23 Thread Anthony Carrico
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

[racket] racket search engine plugin

2014-07-04 Thread Anthony Carrico
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

[racket] object-language in redex/tutorial.html

2014-07-29 Thread 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

Re: [racket] object-language in redex/tutorial.html

2014-07-29 Thread Anthony Carrico
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

[racket] typed racket cps, state machines

2014-09-05 Thread Anthony Carrico
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

Re: [racket] typed racket cps, state machines

2014-09-05 Thread Anthony Carrico
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

Re: [racket] Submodules can't be imported in same file?

2014-09-05 Thread Anthony Carrico
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

Re: [racket] typed racket cps, state machines

2014-09-06 Thread 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:

Re: [racket] typed racket cps, state machines

2014-09-06 Thread Anthony Carrico
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 _

Re: [racket] typed racket cps, state machines

2014-09-07 Thread Anthony Carrico
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 ->

[racket] TR predicate documentation, typo?

2014-09-10 Thread Anthony Carrico
; 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

Re: [racket] typed racket and generic interfaces, is there a workaround using properties?

2014-09-26 Thread Anthony Carrico
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

Re: [racket] typed racket and generic interfaces, is there a workaround using properties?

2014-09-27 Thread Anthony Carrico
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

[racket] representing delta blue's relations in typed racket

2015-01-11 Thread Anthony Carrico
) 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

Re: [racket] representing delta blue's relations in typed racket

2015-01-11 Thread Anthony Carrico
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

Re: [racket] representing delta blue's relations in typed racket

2015-01-11 Thread Anthony Carrico
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

Re: [racket] representing delta blue's relations in typed racket

2015-01-11 Thread Anthony Carrico
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

Re: [racket] Current advice on making a 'script'

2015-01-14 Thread Anthony Carrico
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

Re: [racket] Current advice on making a 'script'

2015-01-14 Thread Anthony Carrico
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

[racket] forward pointer declarations

2015-02-01 Thread Anthony Carrico
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

Re: [racket] forward pointer declarations

2015-02-01 Thread Anthony Carrico
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

Re: [racket] forward pointer declarations

2015-02-02 Thread Anthony Carrico
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

Re: [racket] forward pointer declarations

2015-02-02 Thread Anthony Carrico
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

Re: [racket] FFI and C header defines

2015-02-05 Thread Anthony Carrico
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

[racket] method implementation after struct

2015-02-06 Thread Anthony Carrico
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

Re: [racket] realm of racket (roar!)

2012-11-16 Thread Anthony Carrico
on bothers anyone. -- Anthony Carrico signature.asc Description: OpenPGP digital signature Racket Users list: http://lists.racket-lang.org/users

Re: [racket] realm of racket (roar!)

2012-11-16 Thread Anthony Carrico
Also, the example doesn't work: $ echo '"hello world"' > hw.rkt $ racket hw.rkt default-load-handler: expected a `module' declaration found: something else in: # context...: standard-module-name-resolver -- Anthony Carrico signature.asc Descr

[racket] link: module mismatch

2012-11-28 Thread Anthony Carrico
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

Re: [racket] link: module mismatch

2012-11-28 Thread Anthony Carrico
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.

[racket] Enfield

2013-01-24 Thread Anthony Carrico
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

[racket] fingertree / nested datatype

2013-04-10 Thread Anthony Carrico
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

Re: [racket] fingertree / nested datatype

2013-04-11 Thread Anthony Carrico
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

Re: [racket] fingertree / nested datatype

2013-04-11 Thread Anthony Carrico
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

Re: [racket] fingertree / nested datatype

2013-04-12 Thread Anthony Carrico
(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

Re: [racket] fingertree / nested datatype

2013-04-13 Thread Anthony Carrico
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))) :).

[racket] struct constructor pitfalls

2013-05-29 Thread Anthony Carrico
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? --

[racket] Best canonical package?

2013-09-20 Thread Anthony Carrico
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

Re: [racket] fun porting scsh to Racket

2013-11-07 Thread Anthony Carrico
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:

  1   2   >