Re: documentation for structural/partial type bounds

I was thinking about writing a plugin that whenever it finds any calls on a (wrapper) class Dynamic[Any] it would inject the bolded part before the call. 

  implicit def any2dyn(a: Any) = new Dynamic(a)
 
  val x: Dynamic = new Object { def method(i: Int) { println(i) } };
  x.get.asInstanceOf[ { generated_sig_goes_here} ].method(i: Int)

(There would be an implicit conversion from anything to Dynamic)
Optional dynamic typing in Scala! Not that I need it, but might do some good marketing since C# is getting it... ;-)

Szymon

On Thu, Mar 5, 2009 at 12:55 AM, David Pollak <feeder.of.the.bears@gmail.com> wrote:

On Wed, Mar 4, 2009 at 3:54 PM, Szymon Jachim <sjachim@gmail.com> wrote:

What surprised me recently is that you can use these in asInstanceOf:

x.asInstanceOf[ {def aMethod(i: Int): Unit} ].aMethod(888)

Holy frickin' cow... that's cool  

Interesting way to do reflective calls...

On Thu, Mar 5, 2009 at 12:48 AM, Meredith Gregory <lgreg.meredith@gmail.com> wrote:

David,

Thanks!

Best wishes,

--greg

On Wed, Mar 4, 2009 at 3:46 PM, David Pollak <feeder.of.the.bears@gmail.com> wrote:

scala> def doClose(in: {def close(i: Int): Unit}) {in.close(42)}
doClose: (AnyRef{def close(Int): Unit})Unit



On Wed, Mar 4, 2009 at 3:26 PM, Meredith Gregory <lgreg.meredith@gmail.com> wrote:

Dam and Sir Scalahads,

Where is the documentation for the structural/partial type syntax? i want to express a bound on a type that says it has to at least have method m with signature sig.

Best wishes,

--greg

--
L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105

+1 206.650.3740

http://biosimilarity.blogspot.com

--
Lift, the simply functional web framework http://liftweb.net
Beginning Scala http://www.apress.com/book/view/1430219890
Follow me: http://twitter.com/dpp
Git some: http://github.com/dpp

--
L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105

+1 206.650.3740

http://biosimilarity.blogspot.com

--
ʎɐqǝ uo pɹɐoqʎǝʞ ɐ ʎnq ı ǝɯıʇ ʇsɐן ǝɥʇ sı sıɥʇ

--
Lift, the simply functional web framework http://liftweb.net
Beginning Scala http://www.apress.com/book/view/1430219890
Follow me: http://twitter.com/dpp
Git some: http://github.com/dpp

--
ʎɐqǝ uo pɹɐoqʎǝʞ ɐ ʎnq ı ǝɯıʇ ʇsɐן ǝɥʇ sı sıɥʇ