[racket-dev] MIT position in Redex

Nikos sent me the following ad. They are using Redex to model aspects of programming, which is the actual focus of the Racket reference. If you think someone not on this list is interested, please forward. ;; - - - We are looking for motivated engineers (e.g., undergraduates completing thei

Re: [racket-dev] Happy birthday to the module system

+1 > On Dec 11, 2020, at 9:28 AM, Jay McCarthy wrote: > > It is 20 years old today! > > https://github.com/racket/old-plt/commit/79104357a355132eaf13fb3d8dd1d1a514414b53 > > Spectacular commit message ;) > > Jay > > -- > Jay McCarthy > Associate Professor @ CS @ UMass Lowell > http://jeap

Re: [racket-dev] new web pages

> On Jun 21, 2019, at 6:15 PM, Matthias Felleisen > wrote: > > Many thanks to all the people who sent feedback to the proposed new web site. > > While, as you could see for yourself, the opinions are somewhat diverging on > many aspects, the exercise was extremely he

Re: [racket-dev] Adding project-level scoping to raco pkg install

> On Jul 25, 2020, at 5:36 PM, Sage Gerard wrote: > > I know this isn't a PLT-sanctioned approach, but I'd like to know if there's > any warmth to the direction I'm headed here. There is no such thing as “PLT-sanctioned”. If you can improve Racket, go for it. If you can construct tools that

Re: [racket-dev] for-each in Advanced student language

OK, `for-each` is in ASL now and should show up in the next release (Aug 1 typically). — Matthias > On Jul 7, 2020, at 12:43 PM, Matthias Felleisen > wrote: > > > >> On Jul 7, 2020, at 12:21 PM, Nadeem Abdul Hamid wrote: >> >> What happened to `for-ea

Re: [racket-dev] for-each in Advanced student language

> On Jul 7, 2020, at 12:21 PM, Nadeem Abdul Hamid wrote: > > What happened to `for-each` in "Advanced Student Language"? When I got to the > end of the semester in the spring, I was working with students on my usual > classwork activities and discovered it was no longer there. Easy enough to

Re: [racket-dev] make-set!-transformer and set!-values

Please submit a PR. > On Jun 28, 2020, at 10:54 AM, Jos Koot wrote: > > > Hi, > I have noticed that a set!-transformer also cooperates with set!-values. > If you folks think this should be mentioned in the doc, I would be happy to > fork it and edit it. > I don’t know what to do next, tho

Re: [racket-dev] https://github.com/racket/racket/wiki/Easy-bugs-to-fix

Go for it! — Matthias > On Jun 18, 2020, at 6:11 AM, Stephen De Gabrielle > wrote: > > I've done a clean up of the manually created list of bugs from **Racketeer > Office Hours 2017 Task Ideas** and placed them at > https://github.com/racket/racket/wiki/Easy-bugs-to-fix >

Re: [racket-dev] https://github.com/racket/gnats-bugs

Sam has been on it for about a decade. > On Jun 18, 2020, at 6:19 AM, Stephen De Gabrielle > wrote: > > Hi, > > Is there any value in migrating bug reports in > https://github.com/racket/gnats-bugs > that do not have the status `closed`? > > I not

Re: [racket-dev] How to contribute to Dr. Racket IDE?

the past couple months and started to write my first library in Racket > today. This was caused bu starting to read SICP. I then went and watched 5 > RacketCon talks by Matthew Butterick, Matthew Flatt, Matthias Felleisen and > Alexis King. To say the least, as a programming language enth

Re: [racket-dev] Re: Continuous Integration Server

Thank you for getting it started and having it run for that long and that often. Anniversaries everywhere this year. > On Mar 23, 2020, at 4:13 PM, Jay McCarthy wrote: > > I realized this morning that it has been more than 10 years since > we've had DrDr. > > In that time, it has moved ma

Re: [racket-dev] Release Announcement for v7.6

Glaze, Dominik Pantůček, Fred Fu, Geoff Shannon, Gustavo Massaccesi, Jack Firth, Jay McCarthy, Jens Axel Søgaard, Jesse Alama, Joel Dueck, John Clements, Jordan Johnson, Julien Delplanque, Leo Uino, Luka Hadži-Đokić, Luke Lau, Matthew Flatt, Matthias Felleisen, Mike Sperber, Paulo Matos, Philip McG

Re: [racket-dev] Release Announcement for v7.6

oltby, David K. Storrs, Dionna Glaze, Dominik Pantůček, Fred Fu, Geoff Shannon, Gustavo Massaccesi, Jack Firth, Jay McCarthy, Jens Axel Søgaard, Jesse Alama, Joel Dueck, John Clements, Jordan Johnson, Julien Delplanque, Leo Uino, Luka Hadži-Đokić, Luke Lau, Matthew Flatt, Matthias Felleisen, Mike Sperbe

Re: [racket-dev] Efficient implementation of delimited control

> On Dec 3, 2019, at 2:01 PM, Matthew Flatt wrote: > > Section 7.5, about the Haskell implementation, points out that the C > operator is more useful here than `call/cc`. That avoids the need to > set up an `abort` continuation, and it could replace an explicit > truncation operation. Then agai

Re: [racket-dev] Efficient implementation of delimited control

> On Dec 1, 2019, at 9:47 AM, Matthew Flatt wrote: > > Pycket has the fastest implementation of delimited control that I know. > Pycket's continuations are fast because it uses heap-based continuation > frames. SML/NJ continuations are fast for the same reason. And Pycket > gets all of Racket's

Re: [racket-dev] Continuous Integration update and future

> On Nov 14, 2019, at 3:05 AM, Paulo Matos wrote: Let me echo Robby with 1000*thanks :) > > 4. Builds once again all the variants with the llvm static analyser and > keeps a record of the failures (for example: > https://gitlab.com/racket/racket/-/jobs/350271564/artifacts/file/scan-report

Re: [racket-dev] Looking for VM / bytecode docs

Also consider using Ben’s package: https://github.com/bennn/zordoz — Matthias > On Nov 7, 2019, at 8:08 AM, Matthew Flatt wrote: > > This paper provides the only high-level description of bytecode and the > VM that I can remember: > > https://plt.eecs

Re: [racket-dev] new web pages

Many thanks to all the people who sent feedback to the proposed new web site. While, as you could see for yourself, the opinions are somewhat diverging on many aspects, the exercise was extremely helpful. We will assess the various ideas and see what can and cannot be implemented. If your id

[racket-dev] Racket on the cover page

https://cacm.acm.org Hi everyone, Racket made the cover page of the Communications of the ACM, the ACM’s flagship magazine. We are trying to bring across the idea that research on language-oriented programming is needed and that Racket has a leg up here. Most of you understand the idea but h

[racket-dev] HtDP/2e, HtDP/3e

Hi everybody, MIT P is about to print the second edition of How to Design Programs and it is supposed to appear later this spring. We have therefore moved the on-line edition of HtDP/2e to htdp.org , and I encourage you all to quickly check the new web site. The first editi

Re: [racket-dev] Senior Project Contribution

Here is what I mean with the Sendai paper: https://www2.ccs.neu.edu/racket/pubs/#tacs94-cf It presents a series of extensible and arbitrarily composable interpreters. At the time, I tried to implement them in SML to satisfy the type t’ists tastes, but it turns out that, back then, the str

Re: [racket-dev] Senior Project Contribution

> On Dec 23, 2017, at 12:25 PM, Mark Toujiline wrote: > > Hello Racket team, > > My name is Mark Toujiline and I am a 5th year Computer Science student at Cal > Poly - SLO. I have a required senior project and would like to use the > opportunity to contribute to Racket/Typed Racket. During th

Re: [racket-dev] Contributing to DrRacket

> On Nov 27, 2017, at 8:38 AM, Laurent wrote: > > Regarding the popup, I personally prefer to remain in a separate window to > keep the error message in sight while updating the code. > (I also always place the interaction window in vertical mode so that it sits > on the right side of the wind

Re: [racket-dev] Contributing to DrRacket

om/racket/drracket/issues/171> > > Also - thank you to Robby who has already provided much guidance and support. > > Stephen > > > > > On Fri, 24 Nov 2017 at 21:30, Matthias Felleisen <mailto:matth...@ccs.neu.edu>> wrote: >> On Nov 24, 2017, at 9:35 AM

Re: [racket-dev] Contributing to DrRacket

> On Nov 24, 2017, at 9:35 AM, Stephen De Gabrielle > wrote: > > I’m thinking about spending some of my spare time on DrRacket and the GUI > libraries and would appreciate your feedback about where you think I should > put my efforts, both in the ideas below (that I have cribbed from other >

[racket-dev] meeting notes from 'management'

Every few months, the principals of the Racket world meet for a day to discuss the state and near (and, occasionally, distant) future of the Racket world. We met on September 3 and discussed the following topics, revisiting some that had been on the agenda before: -- License At this point we

Re: [racket-dev] Study the implementation of DrRacket...

> On Sep 21, 2017, at 11:00 AM, Steve Beisner wrote: > > (Posted here because the group description says for those "interested in the > implementation of Racket.") > > This is probably obvious to experienced Racket programmers... but I'm new to > both Racket and > its code base, and studying

[racket-dev] thanks to Dan and Robby

I am in the process of wrapping up HtDP/2e for MITP. As a result I have to do a lot of refactoring on the source (remove color, replace images, change size, etc). The book consists of ~45Kloc .scrbl and ~10Kloc .rkt. Until now I was extremely reluctant to edit scrbl code in drracket. But when

[racket-dev] Racket summer school

The Racket Summer School on Semantics and Language was held in Salt Lake City last month. Sadly we had to turn away about half the applicants. So, If you weren’t able to join in person, you may want to check out the lecture notes and exercises at https://summer-school.racket-lang.org/2017/

Re: [racket-dev] ssl-listener/tcp-listener custodian shutdown

The third argument, reuse?, needs to be #true to get quick turnaround: http://docs.racket-lang.org/reference/tcp.html?q=tcp-listen#%28def._%28%28lib._racket%2Ftcp..rkt%29._tcp-listen%29%29 > On Jun 3, 2017, at 10:25 AM, Curtis Dutton wrote: > > Are ssl-listener's and tcp-listeners' custodian

Re: [racket-dev] netiquette

+1 — Matthias > On Jun 2, 2017, at 7:32 AM, Neil Van Dyke wrote: > > Can someone official pretty-please convince people to go back to > minimal/non-quoting on the Racket email lists? > > https://en.wikipedia.org/wiki/Posting_style#How_much_to_trim > > I'm finding the huge quotes to be not

Re: [racket-dev] #:authentic

Oh Sam was supposed to move the Gnats issues into Github issues. Cool. > On May 12, 2017, at 2:26 PM, Asumu Takikawa wrote: > > On 2017-05-12 17:30:26 +, Sam Tobin-Hochstadt wrote: >> Unfortunately they aren't a separate data type, so the proxy has to be on >> the thread. > > JFYI, t

Re: [racket-dev] #:authentic

That’s what the (mail) thread started with. See below. > On May 12, 2017, at 1:30 PM, Sam Tobin-Hochstadt wrote: > > Unfortunately they aren't a separate data type, so the proxy has to be on the > thread. > > > On Fri, May 12, 2017, 1:28 PM Matthias Felleisen

Re: [racket-dev] #:authentic

I should have written thread-channels. (I did try regular channels, and I found the types and proxies.) > On May 12, 2017, at 1:27 PM, Sam Tobin-Hochstadt wrote: > > We have proxies for channels, but not for threads. > > > On Fri, May 12, 2017, 1:25 PM Matthias Felleisen

Re: [racket-dev] #:authentic

ing a higher order value >> to an untyped thread. I'm pretty sure you could get unsoundness there. >> >> On Fri, May 12, 2017, 12:00 PM Matthias Felleisen >> wrote: >> >> I cannot turn this one into a problem with Typed Racket though. th must have

Re: [racket-dev] #:authentic

nnel) >> (let () >>(define main (current-thread)) >>(define th >> (thread (lambda () (thread-send main (thread-receive) >>(values (lambda () (thread-receive)) th))) >> >>> (component-1 (lambda () "hello world") channel)

Re: [racket-dev] #:authentic

nicating only flat values around, > then I have to run an interpreter to evaluate some arbitrary unknown > program; it doesn't run directly. That seems like an important > distinction somehow, even if it isn't a very crisp one. > > Robby > > On Fri, May 12, 2017

Re: [racket-dev] #:authentic

on. But, >>> if this expression: >>> >>> (sync (thread (lambda () 3))) >>> >>> returned 3, then I'd say that thread itself is a channel of >>> communication. But threads give themselves back to sync, not the >>> values that the

Re: [racket-dev] #:authentic

or/chaperone >> support for those values, and implementations usually don't. >> >> At Thu, 11 May 2017 19:00:43 -0400, Matthias Felleisen wrote: >>> >>> Oh right. >>> >>> >>>> On May 11, 2017, at 6:54 PM, Robby Findler >

Re: [racket-dev] #:authentic

#:non-chaperoned #:adult :( > On May 12, 2017, at 9:16 AM, Matthew Flatt wrote: > > At Thu, 11 May 2017 18:38:00 -0400, Matthias Felleisen wrote: >> If the name isn’t fixed, #:no-proxy-allowed would be my preference. > > We haven't been using the word "proxy&

Re: [racket-dev] #:authentic

Oh right. > On May 11, 2017, at 6:54 PM, Robby Findler > wrote: > > They would be the same. We currently cannot chaperone or impersonate cons > cells. We copy them. > > Robby > > On Thu, May 11, 2017 at 5:51 PM Matthias Felleisen > wrote: > > Y

Re: [racket-dev] #:authentic

> On Thu, May 11, 2017 at 5:39 PM, Robby Findler > wrote: >> What if #:authentic (or whatever) were only allowed on immutable >> objects and we allowed them to be copied? Then contracts could protect >> them. >> >> Robby >> >> >> O

Re: [racket-dev] #:authentic

@ Christos #:authentic explicitly introduces a channel of communication that it is not protectable by contracts. This makes Racket’s contract system explicitly incomplete. It might have been incomplete in the past for other reasons. If the name isn’t fixed, #:no-proxy-allowed would be my pref

[racket-dev] meeting notes from 'management'

Every few months, the principals of the Racket world meet for a day to discuss the state and near (and, occasionally, distant) future of the Racket world. We met on April 1 (not a joke) and discussed the following topics, revisiting some that had been on the agenda before: -- software freedom co

Re: [racket-dev] typed ref docs don't render properly

Fix it. > On Mar 22, 2017, at 12:16 PM, Ben Greenman > wrote: > > That's not Racket's problem, that's my library's problem. > > https://pkgn.racket-lang.org/package/trivial > > On Wed, Mar 22, 2017 at 10:54 AM, Matthias Felleisen > wrote

Re: [racket-dev] typed ref docs don't render properly

times: '(form ((lib "trivial/vector.rkt") define)); values: '#(#f (form ((lib "trivial/vector.rkt") define)) #f (doc #"trivial" #"index.html") #f) '#(#f (form ((lib "trivial/vector.rkt") define)) #f (doc #"trivial" #"index.h

[racket-dev] typed ref docs don't render properly

> raco setup: 3 running: > /typed-racket-doc/typed-racket/scribblings/ts-reference.scrbl > WARNING: collected information for key multiple times: '(exporting-libraries > #f); values: '(trivial/vector) '(trivial/string) > WARNING: collected information for key multiple times: '(exporting-packages

Re: [racket-dev] acmart

Ouch, it’s possible that this is due to Leif’s video package. Sorry for the noise. > On Mar 22, 2017, at 8:49 AM, Matthias Felleisen wrote: > > > I am getting this when I install acmart (remotely): > > ffi-lib: couldn't open "libintl.8.dylib" (dlopen(

[racket-dev] acmart

I am getting this when I install acmart (remotely): ffi-lib: couldn't open "libintl.8.dylib" (dlopen(libintl.8.dylib, 6): image not found) Any hints? -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and

Re: [racket-dev] Re: Switching to discourse.org

> On Feb 7, 2017, at 1:17 AM, George Neuner wrote: > > @flame{ > The problem as I see it is not "new" users per se, but *young* users > who have been conditioned by texting, IM, etc. to expect immediate > gratification. They prefer "rendezvous" communication because waiting > for an asynchronou

[racket-dev] meeting notes

Every few months, the principals of the Racket world meet for a day to discuss the state and near (and, occasionally, distant) future of the Racket world. We met at the periphery of PLDI on January 6/7 in Chicago, IL. Here is the list of major points we discussed: 1. Expander and Compiler As

Re: [racket-dev] gen:dict contracts

> On Jan 23, 2017, at 4:54 PM, Andrew Kent wrote: > > I personally find the performance overhead added by the dependent contracts > in racket/dict to be too burdensome for general use in large applications. I > would be much happier if the default interface was instead comprised of the > simp

Re: [racket-dev] Slack discussion for Racket

I hope not. I do not intend to spend much time on a synchronous medium. > On Jan 10, 2017, at 7:09 PM, Neil Van Dyke wrote: > > Over time, will Racketeers who decline to use Slack.com be marginalized? > > (Addressees trimmed to "racket-dev".) > > -- > You received this message because you

Re: [racket-dev] Inside Racket Seminar 4. Vincent St-Amour on Typed Racket optimizer

I assume you mean ‘off’: http://docs.racket-lang.org/ts-guide/optimization.html#%28part._.Turning_the_optimizer_off%29 If not, sorry for the noise. > On Dec 27, 2016, at 6:41 AM, Asiful Islam

[racket-dev] Northeastern's mirror

Northeastern’s Systems group replaced the electric systems for the past 24 hours. All servers went down, including Racket’s. Sadly the re-boot for our machine did not launch the following services properly. mirror.racket-lang.org (so downloads go through

Re: [racket-dev] DrRacket takes longer to start up on weekends

+1 > On Dec 19, 2016, at 9:58 AM, Leif Andersen wrote: > > Hey all, > > I want to know if I'm just imagining things or not. But DrRacket seems to > take noticeably longer to start up on weekends during week days. I have a > feeling this is due to the spinning racket logo that only shows up

[racket-dev] Re: [racket-users] syntax-property lost across module boundary (WAS: format-id doesn't preserve preserved?-edness of syntax-property?)

Matthew: From the hip, I consider this a design bug, namely a violation of the you-want-it-when promise. To make this more precise, I think that William’s bug exposed a bug on the semantics of make-rename-transformer. What do you think? — Matthias > On Dec 13, 2016, at 2:23 PM, 'Willi

Re: [racket-dev] RFC: define-module+

I like this. How does define-duck+ communicate with DrRacket? > On Oct 27, 2016, at 3:53 PM, Jay McCarthy wrote: > > Something that has annoyed me about module+ since we first implemented it was > that you couldn't make `module`s using it and you couldn't specify the module > language (it i

Re: [racket-dev] Release for v6.6 is about to begin

Technically the release is scheduled for 31 July. For the past couple of releases we were basically on time. (I am counting on it too.) > On Jul 5, 2016, at 10:54 AM, Kathi Fisler wrote: > > When's the expected actual release date for v6.6? My computing center is > asking so they can plan

Re: [racket-dev] Merging the `net` and `compiler` repositories back in

> On May 26, 2016, at 12:52 AM, Robby Findler > wrote: > > Maybe there is a missing "r" in Sam's commandline? > > Robby Cool. > % raco pkg update --lookup net compiler > 00: Resolving "net" via https://pkgs.racket-lang.org > Resolving "net-lib" via https://pkgs.racket-lang.org > Resolving

Re: [racket-dev] Merging the `net` and `compiler` repositories back in

> On May 25, 2016, at 4:25 PM, Sam Tobin-Hochstadt wrote: > > When we split the Racket repository out into many smaller > repositories, we were quite aggressive -- just about everything moved > out. At this point, it's clear that we were a little too aggressive. > In particular, the `net` and `c

Re: [racket-dev] Racket's worst-case GC latencies

I didn’t quite understand your long version. Are you saying that ** on your specific machine ** Haskell’s “worst” is 50ms, OCaml is 3ms, and Racket’s is 120ms? FWIW, I can’t imagine Haskell code using set! for this benchmark, so I rewrote it in the obvious way (think monad). On my little l

Re: [racket-dev] design issue with define-local-member-name or we need to understand Quine or referential transparency is BS but referentially transparent positions matter

> On Mar 26, 2016, at 12:22 PM, Ryan Culpepper wrote: > >> My mind considers the m position in (send o m a …) a referentially >> opaque position. Hence define-local-member-name, which substitutes >> names through a scope, should not replace this m — even if m is >> in its list of names. Similarl

Re: [racket-dev] design issue with define-local-member-name or we need to understand Quine or referential transparency is BS but referentially transparent positions matter

> On Mar 26, 2016, at 9:12 AM, Matthew Flatt wrote: > > At Fri, 25 Mar 2016 22:13:16 -0400, Matthias Felleisen wrote: >> >> Consider this program (a poem of a real problem I encountered): >> >> #lang racket >> >> (module server racket >>

[racket-dev] design issue with define-local-member-name or we need to understand Quine or referential transparency is BS but referentially transparent positions matter

Consider this program (a poem of a real problem I encountered): #lang racket (module server racket (provide c%) (define c% (class object% (super-new) (define/public (m) 0 (module client racket (require (submod ".." server)) (define-local-member-name m) (defin

Re: [racket-dev] package system move complete

+ω > On Mar 7, 2016, at 12:25 AM, Robby Findler > wrote: > > Thank you, Neil, for all the time you put in to making Racket and its > ecosystem great. > > Robby > > On Sun, Mar 6, 2016 at 11:05 PM, Neil Van Dyke wrote: >> As of Sunday night, I think I've finished moving my PLaneT packages

Re: [racket-dev] Bounded parametric polymorphic contracts

Just a quick encouragement, I haven’t absorbed this in detail yet. When you write ‘higher-order’, do you mean you could use a class contract to bound the parameter of a mixin? That might expand what we can do with Asumu’s type system (because we could compile gradual types to such contracts).

Re: [racket-dev] Release Announcement for v6.4

+1 I’d wait. > On Jan 27, 2016, at 9:17 PM, Matthew Flatt wrote: > > Since the improvements so far would need explanation, and since further > improvements are still in progress (especially relative to the v6.4 > branch), a separate message to the mailing list --- or a blog post? --- > se

[racket-dev] dict performance

I ran across the snippet of code below (I turned it into a performance benchmark) and was amazed at how much slower the code ran after making it readable with dict!: I am seeing a factor of 20x and 40x depending on what exactly is run. Can anything be done about this? #lang racket (

Re: [racket-dev] Generic collections and the printing of streams

Please consider a more general way of specifying "strictness" patterns for streams so that people can easily deal with finite and infinite streams uniformly. I think the first step would be to develop some basic combinators for taking/printing pieces of streams and combining those. The second

Re: [racket-dev] pict3d maintenance

Neil, I appreciate your comments very much. From where I sit, I think these “take overs” will be extremely rare but always to the benefit of the community and with ample communication with the creator of the original package. Nobody will take over anyone else’s package by force. What the co

Re: [racket-dev] Discarding values

Strange that you're asking. Last night I ran an experiment of using N values in a for/fold vs running a let-loop approach with N accumulators (handing values only down). The values approach for a program that runs about 20s is basically "free." So I'd use it and check whether it slows things

[racket-dev] Re: Pre-Release Checklist for v6.3

> On Oct 19, 2015, at 2:26 PM, Ryan Culpepper wrote: > > * Matthias Felleisen mailto:matth...@ccs.neu.edu>> Done. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop recei

Re: [racket-dev] Racket Cheat Sheet

define-syntax-parse define-rule define-rewrite On Oct 7, 2015, at 2:14 PM, Jay McCarthy wrote: > Also, we don't like to say "macro" :) > > On Wed, Oct 7, 2015 at 2:14 PM, Jay McCarthy wrote: >> I find "simple" to be very judgey. Unlike a full syntax-parse >> expression with many rules an

Re: [racket-dev] New expander and ambiguous bindings

> On Sep 29, 2015, at 7:20 PM, Brian Mastenbrook wrote: > > After playing with various permutations of this, I encountered a behavior > that seems like a clear violation of referential transparency: > > (define x 'outer) > > (define-syntax-rule (def-m m given-x) > (define-syntax-rule (m) >

Re: [racket-dev] types for Asumu

The inst inside the expression. Is this expression typable at the moment? On Sep 29, 2015, at 4:14 PM, Sam Tobin-Hochstadt wrote: > What use of `inst` produced `Nothing`? > > Sam > > On Tue, Sep 29, 2015 at 3:46 PM, Matthias Felleisen > wrote: >> >> On

Re: [racket-dev] types for Asumu

commend writing the instantiation you > want explicitly. Well yes, that's where I started with inst. The Nothing told me I was on the wrong track with inst. What you might be saying is 'use inst for compose'. -- Matthias > > Sam > > On Tue,

[racket-dev] types for Asumu

Why does this > (compose (λ (x) x) (λ #:forall (a) ({x : a}) x)) have this type: > - : (-> Nothing Any) Thanks -- Matthias -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving em

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

I think we should actually list the package content on a page that comes with the docs and make it immediately indexable (even if not installed). When I then run raco doc fancy-data-structure I may have a fighting change that it says available as package FancyDataFooBar from package serv

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

're now discouraging > these workflows. Yes. If you want to keep unstable, the style guide should mention the life cycle of unstable ideas. [[ May I ask whether Eli was right about unstable? ]] > > Or are you referring to something else? > > Vincent > > >

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

We do in the style file. -- Matthias On Sep 14, 2015, at 5:24 PM, stamo...@racket-lang.org wrote: > stamourv has updated `master' from dedde2cd60 to d1ad70b7a0. > http://git.racket-lang.org/plt/dedde2cd60..d1ad70b7a0 > > =[ One Commit ]

Re: [racket-dev] Adding Jacobi symbols to math/number-theory

May I propose a few small Racket-style improvements? Otherwise follow Jens's suggestions and #lang typed/racket (provide ;; coming to a Typed Racket near you soon #; [jacobi-symbol (-> non-negative-integer? (and/c non-negative-integer? odd?) integer?)] jacobi-symbol) ;; ---

[racket-dev] building from source this morning ends in a bunch of small errors

> raco setup: --- checking package dependencies --- > raco setup: found undeclared dependency: > raco setup: mode: run > raco setup: for package: "automata-lib" > raco setup: on package: "unstable-lib" > raco setup: dependent source: > /Users/matthias/plt/racket/share/pkgs/autom

Re: [racket-dev] Debugger Information

When you say debugger, do you mean the algebraic stepper (which is what we use for CS1 and the teaching languages) or do you mean the debugger for plain Racket programs? We don't teach Racket to freshmen. -- Matthias On Jul 7, 2015, at 11:57 PM, s.ji...@berkeley.edu wrote: > I am a current

Re: [racket-dev] Could (or should) we add sugar for submodule paths?

An alternative would be to have named provide specifications. That way we could tell one client to use API R and another client to use API TR to access functions from our module. If we do this right, we can connect submodules to such provides and nobody will ever know that they are requiring a s

Re: [racket-dev] Release Announcement for v6.2, Second Draft

vement. > > ? > > Robby > > On Fri, Jun 12, 2015 at 3:16 PM, Matthias Felleisen > wrote: >> >> Let me remind everyone of our announcement style: >> http://blog.racket-lang.org/2014/11/racket-v611.html >> >> Also I think we should separate

Re: [racket-dev] Release Announcement for v6.2, Second Draft

Let me remind everyone of our announcement style: http://blog.racket-lang.org/2014/11/racket-v611.html Also I think we should separate announcements and justifications. Keep announcements short. Link them to justifications if needed. The repo split sounds like a topic that falls into this ca

Re: [racket-dev] Release Announcement for v6.2

Sounds good to me. On Jun 5, 2015, at 1:12 PM, Robby Findler wrote: > On Fri, Jun 5, 2015 at 11:08 AM, Matthias Felleisen > wrote: >> >> * The teaching languages come with a new teachpack, 2htdp/abstraction, >> which allows instructors and students to use a numbe

Re: [racket-dev] Release Announcement for v6.2

* The teaching languages come with a new teachpack, 2htdp/abstraction, which allows instructors and students to use a number of abstractions in ISL: for/* loops, match, define-type and type-cases. * The 2htdp/universe again allows the creation of executables from drracket (and they behave

[racket-dev] Re: Pre-Release Checklist for v6.2, Second Call

On May 22, 2015, at 4:16 PM, Ryan Culpepper wrote: > * Matthias Felleisen > - check-satisfied? Done. Thanks for the re-build. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop

[racket-dev] report from leadership meeting

Every few months, the principals of the Racket world meet for a day to discuss the state and near (and, occasionally, distant) future of the Racket world. We met this past weekend in London, and here is the list of major points we discussed. 1. Encouraged by generous donations from our

[racket-dev] Re: Pre-Release Checklist for v6.2

On Apr 10, 2015, at 1:02 PM, Ryan Culpepper wrote: > > * Matthias Felleisen > - Teachpacks Tests: check that new teachpacks are addable > - Teachpack Docs: check teachpack docs in the bundles > - Try teaching-languages testing framework (check-expect) > Updates: >

Re: [racket-dev] Pre-Release Checklist for v6.2

And this one, too: Branch: refs/heads/master Home: https://github.com/racket/htdp Commit: 0c2b9e7f40339fc27af8193b039ae695abfee17b https://github.com/racket/htdp/commit/0c2b9e7f40339fc27af8193b039ae695abfee17b Author: Matthias Felleisen Date: 2015-04-05 (Sun, 05 Apr 2015

Re: [racket-dev] Pre-Release Checklist for v6.2

On Apr 5, 2015, at 8:07 PM, Robby Findler wrote: >> >> >> This one's critical: >> >> commit 78ecfc594c10ff70ff8f970dca97e4eac3f3f55f >> Author: Matthias Felleisen >> Date: Tue Mar 31 19:37:38 2015 -0400 >>get posn to work as pattern

Re: [racket-dev] Re: Pre-Release Checklist for v6.2

On Apr 5, 2015, at 8:07 PM, Robby Findler wrote: >> >> >> This one's critical: >> >> commit 78ecfc594c10ff70ff8f970dca97e4eac3f3f55f >> Author: Matthias Felleisen >> Date: Tue Mar 31 19:37:38 2015 -0400 >>get posn to work as pattern

Re: [racket-dev] Re: Pre-Release Checklist for v6.2

On Apr 5, 2015, at 8:07 PM, Robby Findler wrote: >> >> These would be nice: >> >> commit 8fcb1b068bec991b97ff30a9e8d84bfc635122ff >> Author: Matthias Felleisen >> Date: Sun Apr 5 18:26:51 2015 -0400 >>fixed

[racket-dev] Re: Pre-Release Checklist for v6.2

On Apr 1, 2015, at 3:56 PM, Ryan Culpepper wrote: > > * Matthias Felleisen > - Teachpacks Tests: check that new teachpacks are addable > - Teachpack Docs: check teachpack docs in the bundles > - Try teaching-languages testing framework (check-expect) > Updates: >

Re: [racket-dev] building from source

it but did > not find a fix, so probably one of the developers of Honu needs to fix it. > > Sam > > On Mon, Mar 30, 2015 at 9:30 AM Matthias Felleisen > wrote: > > On my Mac, I get this from 'make': > > > raco setup: error: during making for /honu/te

[racket-dev] building from source

On my Mac, I get this from 'make': > raco setup: error: during making for /honu/tests > raco setup: #%app: undefined; > raco setup:cannot reference an identifier before its definition > raco setup: in module: 'macros > raco setup: phase: 1 > raco setup: compiling: /honu

Re: [racket-dev] Racket generics and generic collections

I think the key is to develop clients for both yours and Vincent's design. See what trade-offs you encounter. Write down the pros and cons. The designs of Clojure, Haskell, and Scala reflect their choices among these properties (presumably) plus the general programming philosophy (including it

  1   2   >