Re: [racket-dev] [plt] Push #24750: master branch updated

2012-06-21 Thread Asumu Takikawa
On 2012-06-21 13:03:18 -0400, Eli Barzilay wrote: > Nice. How about adding a big "deprecated" to the class100 docs, and > make a note to remove it in a year? That trick is neat, but would it be a problem to just remove it now? Tony had the idea that we could just put it on PLaneT and tell people

Re: [racket-dev] syntax/syntax proposal

2012-06-15 Thread Asumu Takikawa
On 2012-06-15 17:39:27 -0400, Matthias Felleisen wrote: > Sounds like this should be documented and possibly even contracted. The contracts I wrote in the patch do reflect this via the `stx-pair?` predicate, FYI. By the way, the definition of a syntax pair in the documentation is this: A synta

Re: [racket-dev] syntax/syntax proposal

2012-06-15 Thread Asumu Takikawa
On 2012-06-15 15:09:15 -0600, Ryan Culpepper wrote: > The 'stx-*' functions work on values that aren't syntax objects, so > renaming them to 'syntax-*' would be misleading. Is that really so misleading though? There is already precedent for functions which take arguments not exactly matching their

Re: [racket-dev] syntax/syntax proposal

2012-06-15 Thread Asumu Takikawa
On 2012-06-15 15:12:05 -0400, Asumu Takikawa wrote: > I've attached a patch that implements this. Any comments? Just realized after I sent it that I'd change two things in the patch: * `syntax-null?`, `syntax-pair?`, `syntax-list?` would be defined using `procedure-rename`

[racket-dev] syntax/syntax proposal

2012-06-15 Thread Asumu Takikawa
place `syntax/stx` for most users and provide both better error messages and identifiers that follow standard Racket naming convention. I've attached a patch that implements this. Any comments? Cheers, Asumu >From f480e8511c6f162e6a35d06861fb5dcd5a3bfb7a Mon Sep 17 00:00:00 2001 From: Asumu T

[racket-dev] Abort behavior different in DrRacket & Racket

2012-05-23 Thread Asumu Takikawa
Hi all, In the Guide entry on control[1], there's a section detailing prompts and abort. Here's an example from that section: > (define (escape v) (abort-current-continuation (default-continuation-prompt-tag) (lambda () v))) > (+ 1 (+ 1 (+ 1 (+ 1 (+ 1 (+ 1 (escape 0))) If you r

Re: [racket-dev] Generics and data structures

2012-05-09 Thread Asumu Takikawa
On 2012-05-09 18:02:04 -0600, Ryan Culpepper wrote: > See the 'supers' argument to 'make-struct-type-property'. > > Create 'real-prop:sequence' that takes a vector (compatible with > generics library). > > Define 'prop:sequence' as a backwards compatibility property that > takes an old-style implem

Re: [racket-dev] Generics and data structures

2012-05-09 Thread Asumu Takikawa
On 2012-05-09 19:01:10 -0400, Neil Van Dyke wrote: > When you say "dictionaries, sequences,", are you including the > Racket types hash, vector, and list? Yes, the changes we made to racket/dict will work with hashes, vectors, and a-lists in the same way it did before. The only difference is when

[racket-dev] Generics and data structures

2012-05-09 Thread Asumu Takikawa
Hi all, Racket currently provides several generic extensible data structure APIs such as dictionaries, sequences, streams, and so on. Unfortunately, each data structure currently has its own extension API, but no consistent convention exists: some APIs use lists of methods, some use vectors, etc.

Re: [racket-dev] Getting Started & install instructions

2012-05-01 Thread Asumu Takikawa
On 2012-05-01 16:04:18 -0400, Eli Barzilay wrote: > 1. No. The download page does try to detect your platform and put the >relevant download(s) first, but I don't think that even for this >use case the decision should be made automatically based on that >guess. What I was getting at i

[racket-dev] Getting Started & install instructions

2012-05-01 Thread Asumu Takikawa
Hi all, I've long thought that the Getting Started page in the documentation is too sparse, so I discussed with Ryan and added some more content to it. The intent is to try to answer some frequent questions that beginners ask (e.g., "do I want the `racket` or the `drracket` executable?"). Ideally

Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Asumu Takikawa
On 2012-04-27 17:44:06 -0400, Matthias Felleisen wrote: > [[If you mentioned this issue in my office yesterday, I failed to catch it.]] I remembered/thought it as I was composing the e-mail. > In the old world, I could write contracts such as > > (and/c (class/cc ...) (class/c ...)) > > and that

Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Asumu Takikawa
On 2012-04-27 13:37:02 -0500, Robby Findler wrote: > I think that maybe I still misunderstand? Specifically, if I put an > opaque object contract on a value and the contract does not mention > 'm', then (send ... m) will be a runtime error The opaque class contract wouldn't produce an error on (se

Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Asumu Takikawa
On 2012-04-27 13:17:36 -0500, Robby Findler wrote: > Specifically, it seems like I can add the contract > (unconstrained-domain-> any) to each method to get it to be opaque > without actually contributing anything of value. > > [...] > > Or is there something else going on there that I'm missing?

[racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Asumu Takikawa
Hi all, Recently I have been adding class contracts to parts of the GUI system. In tandem, I've also added a new feature to `class/c` that allows a contract to be opaque, which means that the contract requires that *all* public methods & fields in the contracted class are themselves contracted. T

Re: [racket-dev] request for triangle in slideshow/pict

2012-03-22 Thread Asumu Takikawa
On 2012-03-22 15:26:55 -0400, Stephen Chang wrote: > Would anyone find it useful to have a triangle primitive in > slideshow/pict? How easy would it be to add one? I told Stephen about this, but a generally useful thing is to have a procedure (and corresponding macro) that can build a pict out of

[racket-dev] Changes to `git push`

2012-03-19 Thread Asumu Takikawa
I just saw that the git project is considering changing the default behavior of the `git push` command and are taking feedback on the potential change. In case anyone is interested, here is the call for feedback: https://lwn.net/Articles/487131/ Cheers, Asumu _ Racket

Re: [racket-dev] submodules

2012-03-08 Thread Asumu Takikawa
This sounds great! I haven't tried it out yet, but here are some preliminary comments. On 2012-03-07 10:14:35 -0700, Matthew Flatt wrote: > Submodules declared with `module' are declared locally while expanding > a module body, which means that the submodules can be `require'd > afterward by the e

Re: [racket-dev] [plt] Push #24346: master branch updated

2012-02-25 Thread Asumu Takikawa
On 2012-02-25 17:27:31 -0600, Robby Findler wrote: > I'm now going to be using it in DrRacket to do a better job with picts > in the REPL. Inspired by this talk[1] by any chance? I was thinking today that it'd be really neat if there were on-the-fly pict viewing somehow (not necessarily in DrRacke

Re: [racket-dev] Google Summer of Code

2012-02-14 Thread Asumu Takikawa
On 2012-02-14 09:58:12 -0800, John Clements wrote: > I sent an e-mail to Asumu about a week ago that sneakily tried to get him to > take responsibility, and it sounds like he might be on it. If not, I'll take > the lead. Asumu? I'm still up for it. The application process starts on the 27th but

Re: [racket-dev] new logo

2012-02-11 Thread Asumu Takikawa
On 2012-02-11 13:23:46 -0500, Matthias Felleisen wrote: > Have you guys considered a small change that makes the 'r' more > lambda-ish? Maybe an 'r' in different scripts can be considered? For example, an R rotunda: http://en.wikipedia.org/wiki/R_rotunda Or perhaps a script capital R: ℛ (if tha

Re: [racket-dev] web pages

2012-02-11 Thread Asumu Takikawa
On 2012-02-11 13:19:11 -0500, Matthias Felleisen wrote: > Asumu, did you drop the ball on your new web page design or is still in the > works? -- Matthias I haven't had time to work on it since my last e-mail, though I did discuss some ideas with Sam. I don't think I will be able to find much tim

Re: [racket-dev] Racket logo

2012-02-08 Thread Asumu Takikawa
On 2012-02-08 19:18:47 -0600, Robby Findler wrote: > John Clements and Neil Toronto have put together a new Racket logo > that I've just put on the DrRacket splash screen. See what you think. Very nice work! I think it will take some getting used to, but I like how energetic it is. Cheers, Asumu

Re: [racket-dev] Abstract classes

2012-02-07 Thread Asumu Takikawa
On 2012-02-07 12:17:18 -0600, Robby Findler wrote: > That seems like an interesting thing to explore, but it is in a > subtyping, not subclassing direction and probably is violated > somewhere in our codebase. Overall, it seems to point to a larger > redesign of the class system. That makes sense.

Re: [racket-dev] Abstract classes

2012-02-07 Thread Asumu Takikawa
On 2012-02-07 12:01:10 -0600, Robby Findler wrote: > I'd say to try this position and go around in the codebase looking for > abstract classes to see if it works with what we have. That's a good idea. I can look into that. > One other abstract classe in the framework come to mind: the > frame:edi

[racket-dev] Abstract classes

2012-02-07 Thread Asumu Takikawa
Hi all, Stevie and I have been hacking on an addition to the class system that would allow classes to be made abstract. Abstract classes are already used in the codebase, so the idea here is to make this a language feature rather than a pattern. e.g., the private editor% class that implements the

Re: [racket-dev] collections with no one responsible

2012-02-03 Thread Asumu Takikawa
On 2012-02-03 18:32:46 -0500, Sam Tobin-Hochstadt wrote: > As well as: > - gui-builder > No one has made significant changes (other than collection-wide > cleanups) to guibuilder in more than 6 years, except Asumu. Asumu, do > you want to take this on? AFAIK, this doesn't even ship with the sta

Re: [racket-dev] "bookmarks" in drracket?

2012-02-03 Thread Asumu Takikawa
On 2012-02-03 12:06:16 -0500, Stephen Chang wrote: > Any ideas on what the graphical representation should look like? > Should it be a popup window? Or a side bar? I like the idea of a breadcrumb UI (maybe at the bottom like PLaneT?): http://en.wikipedia.org/wiki/Breadcrumb_(navigation) Cheers,

Re: [racket-dev] Racket home page proposal

2011-12-20 Thread Asumu Takikawa
On 2011-12-20 08:02:15 -0500, Matthias Felleisen wrote: > I do NOT like pages that have text below my laptop screen 'fold'. > My eyes do glaze over. And I am off the page quickly. Taking some feedback into account, here's a second mockup: http://www.ccs.neu.edu/home/asumu/racket-home-3/ It leaves

[racket-dev] Racket home page proposal

2011-12-19 Thread Asumu Takikawa
Hi all, Currently, the Racket home page is really nice, but it leaves a significant amount of vertical space unused that could be used to communicate information. How would people feel about adding more content "below the fold" on the website? To be more concrete about this, here's a mockup I mad

Re: [racket-dev] Missing pregexp syntax in Racket

2011-11-29 Thread Asumu Takikawa
On 2011-11-29 15:43:27 -0500, Matthias Felleisen wrote: > > So, any volunteers? > I added this to the list of intro projects on GitHub, so if anyone wants to take this up, please put it up on GitHub/PLaneT and update the page: https://github.com/plt/racket/wiki/Intro-Projects Cheers, Asumu __

Re: [racket-dev] online check syntax: now disabled by default

2011-09-16 Thread Asumu Takikawa
On 2011-09-16 14:49:12 -0500, Casey Klein wrote: > On Thu, Sep 15, 2011 at 8:13 PM, Robby Findler > wrote: > > Yes, certainly! Core files (or just stack traces) are useful, I expect. > > > > I've been seeing a freeze roughly once a day. DrRacket gets > permanently stuck with the OS X rainbow pinw

Re: [racket-dev] Roogle?

2011-08-04 Thread Asumu Takikawa
On 2011-08-05 00:08:03 -0400, Eli Barzilay wrote: > Are there any *practical* uses for that thing? It could be useful if you have an idea of the name of the thing you're looking for and then want to narrow it down by type. Or you know you want a higher order function that works on a list but don't

[racket-dev] Roogle?

2011-08-04 Thread Asumu Takikawa
A few of us in the lab today were discussing how the Haskell community has this nice tool called Hoogle (http://www.haskell.org/hoogle) that lets you search Haskell docs by type. Is it at all feasible to supplement Racket's doc search to display contracts and/or search by contract? (or type for TR

Re: [racket-dev] Non-negative real predicate?

2011-06-10 Thread Asumu Takikawa
On 2011-06-10 13:11:51 -0700, Matthew Flatt wrote: > I'm more in favor of using `(and/c real? (not/c negative?))'. Stevie just pointed out that the following contract is equivalent and shorter: (>=/c 0) so I'll go with that. Cheers, Asumu _ Fo

[racket-dev] Non-negative real predicate?

2011-06-10 Thread Asumu Takikawa
Hi all, I've seen some locations in the docs where a currently imaginary predicate is used as a contract. e.g. the sleep function has a nonnegative-number? contract The same contract is often expressed as (and/c real? (not/c negative?)) in many locations. e.g. the get-extent method for sni

Re: [racket-dev] Inline caching (was Re: my '312' this semester, how we compare to others)

2011-05-04 Thread Asumu Takikawa
On 2011-05-04 18:49:13 -0400, Tony Garnock-Jones wrote: > The attached (highly experimental) patch seems to improve the > performance of normal sends (in the case of a cache hit) by roughly > 100% - 150%. The difference between this mere factor of two > improvement and the factor of six-through-ten

Re: [racket-dev] SSLv2 in collects

2011-04-25 Thread Asumu Takikawa
On 2011-04-25 14:54:18 -0300, David Bremner wrote: > Yeah, this is a problem for the official Debian builds as well. > > Would it be enough just to hack out all of the mentions of > SSLv2_(client|server)_method? Has anyone tried? The latest commit changes the openssl module to fail gracefully at

[racket-dev] SSLv2 in collects

2011-04-22 Thread Asumu Takikawa
Apparently SSLv2 is considered dangerous and some Linux distributions have started shipping OpenSSL libraries with SSLv2 removed. (e.g. Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589706) Since collects/openssl/mzssl.rkt depends on SSLv2 (presumably for legacy support?), this seems to

[racket-dev] Behavioral subtyping for editor<%> and its implementing classes

2010-12-02 Thread Asumu Takikawa
Hi all, While writing contracts for classes in racket/gui, I noticed that the implementations of text% and pasteboard% do not act as behavioral subtypes of editor<%>, which both classes implement. In particular, consider the do-copy method from editor<%>. Its contract looks like this: (send an-e

<    1   2   3