Rafael rambling : Weblog

« Previous day (Nov 19, 2007) | Main | Next day (Nov 20, 2007) »

Tuesday November 20, 2007

links for 2007-11-21

RE: implicit conversion without explicit object import

James Iry explains the utility of self types in Scala for working with mutual dependencies between abstract "components".

(tags: mailing list Scala JamesIry typing type system self SelfType component trait composition inheritance language construct pattern idiom)
An ABC of Category Theory

"This course is aimed at potential users of categorical ideas rather than aspiring category theorists. I will skip details wherever I can. There will not be many useful theorems in the course. Rather, the point is to teach you how to think categorically.

(tags: course academic mathematics computerscience CS category CategoryTheory theory formal formalism introduction LectureNotes)

Posted by rafaeldff [Sun] ( November 20, 2007 10:32 PM ) Permalink | Comments[0]