"A Practical Optional Type System for Clojure"

[Ambrose Bonnaire-Sergeant]

Hi,

I have submitted my honours dissertation for marking, for those

interested: https://github.com/downloads/frenchy64/papers/paper.pdf

Corrections welcome!

Thanks,

Ambrose

[Bronsa]

Hi Ambrose, great work!

I found a typo on page 14, you wrote "... equivalent to [-> (U nil String] in Typed Clojure"

2012/10/25 Ambrose Bonnaire-Sergeant <abonnair...@gmail.com>

--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clo...@googlegroups.com
Note that posts from new members are moderated - please be patient with your first post.
To unsubscribe from this group, send email to
clojure+u...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

[Ambrose Bonnaire-Sergeant]

Nice catch! Thanks!

[Raoul Duke]

super cool!!!




apparently Racket just had another paper along those lines, won at OOPSLA:
http://www.ccs.neu.edu/racket/pubs/oopsla12-tsdthf.pdf

more about how to "promote" from "dynamic" to statically typed stuff.
wadler had some talk about that before, about having a firewall of
sorts, i think.

hope this kind of stuff also some day gets over to erlang/lfe. :-)

[Stathis Sideris]

Hello Ambrose,

Thanks for your great work, I look forward to using Typed Clojure!

Tiny correction: there is a double "are" on page 9: "Listing 1.5 shows a simple example of using singleton types in Typed Clojure.

Singleton types are are discussed further in section 2.5."

Stathis

[Stathis Sideris]

Another one:

Page 31,

"This mean that at compile time we cannot completely trust the type signature of any Java method or eld that involves an array."

should be:

"This means that at compile time we cannot completely trust the type signature of any Java method or eld that involves an array."

[Ambrose Bonnaire-Sergeant]

Many thanks!

I'd prefer if typos and corrections could be directed to my personal email, rather than the Clojure group :)

Thanks,

Ambrose

--