[racket-users] Re: embedding Google Forms/YouTube/… in Scribble

Thank you again Prof. Shriram for your very useful package. It will be very helpful to include (if possible) your package *scribble-embedding* in the site *pkgs.racket-lang.org* This in part for easy of installation, and in case of updates, it will be possible to do it inside DrRacket. Thank

Re: [racket-users] typing variable length argument lists

Thanks Sam, for the explanation. I was thinking that some information was lacking to the type inference system, and it helps to see the annotation incantations necessary to fill in the gap. Cheers, Kieron. On Mon, Apr 13, 2020 at 1:32 PM Sam Tobin-Hochstadt wrote: > The change makes a

Re: [racket-users] typing variable length argument lists

The change makes a difference because Typed Racket's type inference for `cons` is producing a less-accurate answer than it could. When it sees arguments of type `String` and `(Listof Any)`, it decides that the result is a `(Listof Any)` instead of a `(Pairof String (Listof Any))`. If you add

Re: [racket-users] typing variable length argument lists

If I understand correctly, the difference to getting the code to type check was: > (apply fprintf (cons anomaly (cons message messageargs))) becomes: >(apply fprintf anomaly message messageargs) Since the documentation explains that the arguments to fprintf are effectively