I don't think we should add functions to TR that are not in Racket and that are not clearly type-related (e.g., `cast`).
I also like Jens's solution better. Education vs crutches. Vincent At Tue, 17 Feb 2015 10:39:16 -0500, Matthias Felleisen wrote: > > > I'd add them to Typed Racket. That's what Haskellians are most likely to > explore and when they find them, it's a good thing (tm). -- Matthias > > > > > On Feb 17, 2015, at 2:18 AM, Alexis King <lexi.lam...@gmail.com> wrote: > > > I was just thinking today that I would, for example, find it useful to have > > a (zip ...) function in racket/list that would be equivalent to (map list > > ...). Users coming from a Haskell background might even find it useful to > > have a zip-with function that is simply an alias for map. Admittedly, these > > are rather trivial, but (especially in the first case) I think they’d still > > be useful. > > > > I am all for avoiding feature creep and code bloat, but Racket’s “batteries > > included” approach seems to make functions like these prime candidates for > > libraries like racket/list. As long as they’re not in racket/base, they > > seem fairly harmless, especially considering they would only be needed at > > compile-time. > > > > Should I even consider adding things like this, or is the consensus that > > the libraries are mostly sufficient as-is? > > > > -- > > You received this message because you are subscribed to the Google Groups > > "Racket Developers" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to racket-dev+unsubscr...@googlegroups.com. > > To post to this group, send email to racket-...@googlegroups.com. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/racket-dev/5D941DB1-8A55-4A41-98A2-A3BE1BFE6D40%40gmail.com. > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-dev+unsubscr...@googlegroups.com. > To post to this group, send email to racket-...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/EAAD5B93-DB78-419B-A662-131AD1D3E303%40ccs.neu.edu. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/87d258qxg8.wl%25stamourv%40ccs.neu.edu. For more options, visit https://groups.google.com/d/optout.
