philnguyen

import scala.language.experimental.macros
import scala.reflect.macros.blackbox.Context
import scala.annotation.StaticAnnotation
import scala.annotation.compileTimeOnly

/**
This annotation turns a simple class declaration into a type-safe and unboxed Enum.
It does not attempt to be compatible with Java, because I have no respect for Java.
There is an example usage at the end of the file.
*/

drexin

import java.io.File
import language.experimental.macros
import scala.reflect.macros.Context

object Macros {

  def LINE: Int = macro lineImpl

  def lineImpl(c: Context): c.Expr[Int] = {
    import c.universe._

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).

oxbowlakes

/**
 * Part Zero : 10:15 Saturday Night
 *
 * (In which we will see how to let the type system help you handle failure)...
 *
 * First let's define a domain. (All the following requires scala 2.9.x and scalaz 6.0)
 */

import scalaz._
import Scalaz._

NicolasT

Require Import Coq.Program.Basics.
Open Local Scope program_scope.

Definition id (A: Type) (e: A): A := e.

Module Type FUNCTOR.
  Set Implicit Arguments.
  Parameter F: forall (A: Type), Type.
  Parameter fmap: forall (A B: Type), (A -> B) -> F A -> F B.

umitanuki

import scala.io._
import scala.util.parsing.json._

object Sca2Main {
  def main(args: Array[String]){
		val url = "http://search.twitter.com/search.json?q=umitanuki"
		val parsed = JSON.parseRaw(Source.fromURL(url).getLines.mkString)
		parsed match{
			case Some(x:JSONObject) => println("object")
			case Some(y:JSONArray) => println("array")