paulp

Hello scala, my old friend
I've come to take you home again
Because a feature slowly creeping
left me plagued with doubts and weeping
and the version that was tagged in the repo
just has to go
it lacks the signs of soundness

On sleepless nights I hacked alone
applying ant and other tools of stone

jonifreeman

Miles Sabin implemented a nice selection sort example in Scala's type system. See:

http://www.chuusai.com/2012/01/27/type-level-sorting-in-shapeless/

To get a better understanding how that works I ported the algorithm to Prolog.

selectleast([H|T], TM, [H|TRem]):-
    selectleast(T, TM, TRem), TM < H.

selectleast([H|T], H, T).

jorgeortiz85

class DynamicImpl(x: AnyRef) extends Dynamic {
  def _select_(name: String): DynamicImpl = {
    new DynamicImpl(x.getClass.getMethod(name).invoke(x))
  }
  def _invoke_(name: String)(args: Any*) = {
    new DynamicImpl(x.getClass.getMethod(name, args.map(_.asInstanceOf[AnyRef].getClass) : _*).invoke(x, args.map(_.asInstanceOf[AnyRef]) : _*))
  }
  override def typed[T] = x.asInstanceOf[T]
  override def toString = "Dynamic(" + x.toString + ")"
}