In case my CPSing obscured the prose, here is what I said: What I am really saying is that I supplemented the proposal with a research challenge that is common in the Racket world. If you are here and you see the blueprints for paradise over there, don’t just build paradise. Also build the bridge from here to there.
> On Jan 19, 2017, at 10:57 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > > You’re preaching to the choir. See Racket Manifesto. > > But you’re also preaching to the guy who got this project to > where it is because "Types Suck” has been my slogan for decades. > (I will leave it to figure out what that slogan means.) > > Since I am not a good programmer (according to your classification), > I need time to learn this new stuff and I don’t want to leave everything > behind that I have coded in my miserable days of untyped hacking. I have > moved some to TR, and it interoperates nicely with R. So if you want me > to accept the supreme gift of AC’s TR2, you need to allow me to migrate > in the same incremental manner — unless your goal is to leave all miserable > programmers, such as myself, behind. Nothing prevents you from that. Go > create TR-leave-eveeryone-else-behind. > > Glad you like Stephen’s work. — Matthias > > > > >> On Jan 19, 2017, at 9:30 AM, Anthony Carrico <acarr...@memebeam.org> wrote: >> >> On 01/18/2017 08:57 PM, Matthias Felleisen wrote: >>> >>> And how would components in #lang typed/racket interact with components in >>> #lang kinded/racket interact? >> >> If this wasn't Matthias, I'd say whoever posted this missed the whole >> point of Racket. Since it is Matthias, I'll take this as an invitation >> to rant. >> >> At its core, what is racket? Racket is an operating system with Scheme >> values, rather than C values, as its foreign function interface. So the >> simple answer to the question is that Typed Racket 2 uses Scheme values >> as its FFI, just like everyone else does. Does this suck? Yes, but for >> many cases it is better than using C values. >> Any other vision of the module system is an illusion, I realized this as >> soon as I tried Fathertime after the Scheme Workshop 10-20 years ago. >> >> What do contemporary programmers want? They want some kind of static >> proof that their interfaces are good. Why are so many programmers >> sniffing around Racket these past few months? Because they noticed >> Turnstile, and they recognize that Racket is the state of the art in >> metaprogramming. The window is currently open, something like Racket + >> Haskell/Idris/Purescript/Agda will emerge. Programmers will bleed from >> both camps. Recognize this, or lose all good Racket programmers. Anyone >> who uses typed Racket discovers Haskell, and start to hate Racket >> because it doesn't have typeclasses. It feels like programming with your >> arms chopped off. They don't want to give up Matthew's great work, so >> they will bring it with them one way or another. >> >> Typed Racket was a fine experiment. It accomplished two things. It >> showed dynamic programmers that static types and other proofs should be >> employed when possible, and contracts should be employed otherwise. >> Typed Racket killed 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 receiving emails from it, send an >> email to racket-users+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. > > -- > 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://groups.google.com/d/optout. -- 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://groups.google.com/d/optout.
