Inside Racket Seminar 4. Vincent St-Amour on Typed Racket optimizer

[Jay McCarthy]

On June 21st at 11am Central time, please join us for the fourth Inside Racket
Seminar where Vincent St-Amour will give us a walk-through of the
implementation of Typed Racket's optimizer.

As before, it will be on Google Hangouts on Air with Vincent walking
through the code and giving an explanation of how it all hooks
together. This is not a tutorial on Racket or on the library, but a
kind of oral history and explanation of the software and how it works.
Our hope is that this will increase the ability of others to build and
maintain similar software as we share this kind of expertise in a way
that doesn't fit our existing distribution mechanisms (research
papers, RacketCon talks, documentation, etc.)

Hangouts on Air link: https://plus.google.com/events/chm87mh4umkdpkomk8k8i2lmi7o

I hope that you are able to attend and send your own questions as we go through.

Here are some things you may want to look at to prepare:

0. The optimizer is all syntax classes, so having a good understanding
of syntax-parse is useful.

1. The system is mentioned in passing in "Languages as Libraries":
https://www.cs.utah.edu/plt/publications/pldi11-tscff.pdf

2. A big part of the implemented optimizations depend on an
understanding of Racket's numeric tower, which is discussed well in
"Typing the Numeric Tower":
http://www.ccs.neu.edu/racket/pubs/padl12-stff.pdf

Please feel free to send questions beforehand, on this thread or to me
personally. We will archive the video for later viewing, etc.

As a small preview of his style, you may want to check out Vincent's
talk at RacketCon 2013: https://www.youtube.com/watch?v=D7uPm3J-o6g

Jay

--
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

"Wherefore, be not weary in well-doing,
for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
- D&C 64:33

[Jay McCarthy]

Please get excite for this tomorrow.

!

Jay

[Jay McCarthy]

The archive of this is linked from the wiki now:

https://github.com/racket/racket/wiki/Inside-Racket-Seminar-4.-Vincent-St-Amour-on-Typed-Racket-Optimizer

[Jos Koot]

Thanks, very interesting.
Jos

-----Original Message-----
From: racke...@googlegroups.com [mailto:racke...@googlegroups.com] On Behalf Of Jay McCarthy
Sent: martes, 21 de junio de 2016 22:15
To: dev
Subject: [racket-dev] Re: Inside Racket Seminar 4. Vincent St-Amour on Typed Racket optimizer

The archive of this is linked from the wiki now:

https://github.com/racket/racket/wiki/Inside-Racket-Seminar-4.-Vincent-St-Amour-on-Typed-Racket-Optimizer

snip

[Asiful Islam]

Can you please tell me how to run Typed Racket optimizer. because I am getting this error: typecheck-tests.rkt:37:5: reduce-tc-results/subsumption: unbound identifier in module in: reduce-tc-results/subsumption. in this file:https://github.com/racket/typed-racket/blob/master/typed-racket-test/unit-tests/typecheck-tests.rkt

[Matthias Felleisen]

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. 

--
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+...@googlegroups.com.
To post to this group, send email to racke...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/d82d4dd7-5d0d-47be-85c5-9949f3e23e9d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Vincent St-Amour]

Asiful,

The Typed Racket optimizer is run by default on all Typed Racket
code. As Matthias mentions, you have to turn it off explicitly if you
do want to turn it off.

What you're seeing seems unrelated to the optimizer, but looks like an
error elsewhere in Typed Racket. What version of Racket are you using,
what version of Typed Racket, and how did you get them?

Vincent

[Asiful Islam]

I am using the latest version(6.7 64bit) of Racket compiler. I got it from Racket website.

> To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+unsubscribe@googlegroups.com.

> To post to this group, send email to racke...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/d82d4dd7-5d0d-47be-85c5-9949f3e23e9d%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

--

Asiful Islam

Master's candidate

Beijing Jiaotong University

Beijing,China

[Vincent St-Amour]

What about Typed Racket? Are you using the one from the Racket you
downloaded, or are you using one from a repo you cloned?

My guess based on the info you provided is that you're using Racket 6.7
and the associated Typed Racket, but that you're running the TR tests
from a cloned repo. Those tests would require the same version of TR
(the one from the cloned repo).

If that's the case, try instead installing the `typed-racket-test`
package, and running tests from the package version. If you install it
via the package system, you'll get the right version to go with your
Racket install.

Vincent

> > To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+...@googlegroups.com.