Profile_bird

Hey there! richdougherty is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving richdougherty's tweets.

Already using Twitter
from your phone? Click here.

Default_profile_1_bigger
richdougherty

  1. An ICFP abstract on Scala's delimited continuation implementation—no paper yet. :( http://is.gd/AFTu 11:39 PM May 17th from web
  2. Really small dependently-typed interpreter: http://strictlypositive.org... 1:41 AM Apr 30th from web
  3. @jboner It's not ready yet, but the design is better. Soon I'll add code for pickling and for working with streams and channels. 4:15 AM Apr 27th from web
  4. @jboner There's a smiley saying it's public, and I can browse the source when not logged in. What do you see? 4:04 AM Apr 27th from web
  5. @jboner I've just pushed a pre-alpha version: http://github.com/richdough... 1:36 PM Apr 26th from web
  6. RT @ijuma Easy immutable updates for case classes in Scala 2.8.0, val facc = fac.copy(b = "dlkfj")() http://bit.ly/bKPPe 2:02 PM Apr 18th from web
  7. @jboner I'll look at bundling it up. 12:29 PM Apr 18th from web
  8. Contemplating the "expression problem" in Scala. I think virtual classes would make the solution nicer. http://is.gd/t3o2 6:03 PM Apr 17th from web
  9. @jboner I've used it a bit privately. Thinking about cleaning it up and contributing to Scala std lib. What do you think? 1:08 AM Apr 17th from web in reply to jboner
  10. Reading about implementation to understand theory. Dependent types in Agda: http://is.gd/sOC7 12:45 PM Apr 16th from web
  11. Examples of Scala 2.8's named and default args (thanks @ijuma) http://is.gd/sOzg 12:36 PM Apr 16th from web
  12. @ijuma Yes, unfortunately. 2:23 AM Apr 16th from web in reply to ijuma
  13. @thedoc OK, that's two recommendations for Nambu... 1:38 PM Apr 15th from web
  14. @jorgeortiz85 Thanks I'll check Nambu out. 1:02 PM Apr 15th from web in reply to jorgeortiz85
  15. Great discussion on immutability: http://tinyurl.com/cmyrz5 1:00 PM Apr 15th from web
  16. Anyone know a URL-expanding tool for Twitter? Either through the web or on Mac. I searched, but I did not find. 1:14 AM Apr 15th from web
  17. @ijuma Welcome! The conversations are good, but I dislike the truncated URLs. 1:06 AM Apr 15th from web
  18. @jorgeortiz85 Yeah, the caching causes problems with memory. It can help avoid recalculating values though. 1:04 AM Apr 15th from web
  19. @jorgeortiz85 How would the lazy list be different from a stream? 9:30 PM Apr 14th from web
  20. Continuations in Mono: http://tinyurl.com/cjewvd 12:55 AM Apr 14th from web