paulp

abstract class Foo {
  trait BarT { this: Bar => def zomg: String }
  type Bar <: BarT

  def newBar: Bar
}

// Or not sealed if you reject axiom K? :)
sealed abstract class FooEqual[X <: Foo, Y <: Foo] {
  val x: X

paulp

package proxy
import language.dynamics

abstract class Param[T] { type Type }

object Param {
  def apply[T](name: String) = new Param[name.type] { type Type = T }
}

class Proxy(underlying: Map[String, Any]) extends Dynamic {

paulp

package p {

  object Test {
    import construction.Monadic
    import execution.Bimonad

    def main(args: Array[String]): Unit = {

      val expression = Monadic[List](10) flatMap (1 to _ toList) coflatMap (_.sum)

paulp

# DYLD_LIBRARY_PATH library variables break linking of standard system libraries by forcing dyld to ignore
# everything but the library's basename when performing what would otherwise be successful library
# resolution.
mkdir rust-lib
echo 'void my_libjpeg_api (void) { }' | clang -dynamiclib -x objective-c -o rust-lib/libjpeg.dylib -
echo 'extern void my_libjpeg_api(void); int main (int argc, char *argv[]) { my_libjpeg_api(); return 0; }' | clang -x objective-c -o example - -framework ImageIO -Lrust-lib -ljpeg
env DYLD_LIBRARY_PATH=`pwd`/rust-lib ./example

#dyld: Library not loaded: /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJPEG.dylib
#  Referenced from: /System/Library/Frameworks/ImageIO.framework/Versions/A/ImageIO

paulp

trait Cloneable[+T <: AnyRef] extends AnyRef {
  def create(): T
  override def clone(): T = create()
}

class A(var a: Int) extends Cloneable[A] {
  def create(): A = new A(a)
}

class B(aa: Int, var b: Int) extends A(aa) with Cloneable[B] {

paulp

CmdUtils.CreateCommand({
  names: ["java"],
  arguments: [{role: "object",
               nountype: noun_arb_text,
               label: "search criteria"}],
  icon: "http://www.sun.com/favicon.ico",
  preview: "Searches The Java 6 API.",
  help: "Enter the name of the Java class or package for which you would like to see the documentation.",
  author: {name: "KS", email: "tss@cornbread.com"},

paulp

#!/usr/bin/env bash
#
# ^-- don't assume bash is in /bin

# we need a git library of stuff like this, since there are lots
# of ways to get it subtly wrong
git_branch_exists () {
  git show-ref --verify --quiet refs/heads/$1
}

paulp

De-virtualized Collections

De-virtualizing abstract collections would increase performance and decrease bytecode bloat for common use cases–without tying the hands of implementors. Conceptually, operations on abstract collections become syntactic sugar for inlined code templates. You opt-in to dynamic behavior by choosing subtypes that override extension methods with virtual ones. The root collections then become an encapsulation of their elements, but not an abstraction over operations on those elements; you can still perform such operations on these collections, but the compiler statically binds the implementation rather than indirecting to the run-time type's vtable-provided version. Collection sub-families–parallel, non-strict, and the like–override generic extension methods with virtual ones, and any value statically typed to such a collection works in the usual object-oriented way.

Sample de-virtualized collection hierarchy

import collection.generic.CanBuildFrom
import language.im

paulp

De-virtualized Collections

De-virtualizing abstract collections would increase performance and decrease bytecode bloat for common use cases–without tying the hands of implementors. Conceptually, operations on abstract collections become syntactic sugar for inlined code templates. You opt-in to dynamic behavior by choosing subtypes that override extension methods with virtual ones. The root collections then become an encapsulation of their elements, but not an abstraction over operations on those elements; you can still perform such operations on these collections, but the compiler statically binds the implementation rather than indirecting to the run-time type's vtable-provided version. Collection sub-families–parallel, non-strict, and the like–override generic extension methods with virtual ones, and any value statically typed to such a collection works in the usual object-oriented way.

Sample de-virtualized collection hierarchy

import collection.generic.CanBuildFrom
import language.im

paulp

// Say we have a List of names and we would like to find all those names where "am" occurs:
{
  // LINQ
  // string[] names = { "Sam", "Pamela", "Dave", "Pascal", "Erik" };
  // List<string> filteredNames = names.Where(c => c.Contains("am"))
  //                                   .ToList();

  // Java Streams
  // String[] names = {"Sam","Pamela", "Dave", "Pascal", "Erik"};
  // List<String> filteredNames = stream(names)