This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Alex Galis (University College of London, UK) | |
Antonio Manzalini (Telecom Italia, Italy) | |
Carlos Becker Westphall (Federal University of Santa Catarina) | |
Christian Destré (Orange Labs, France) | |
Daphné Tuncer, (University College London, United Kingdom) | |
Djamal Zeghlache (Telecom SudParis, France) | |
Imen Grida Ben Yahia (Orange labs, France) | |
John Strassner (Futurewei, US) | |
Kostas Pentikousis (EICT, Germany) | |
Kostas Tsagkaris (UPRC/WINGS ICT Solutions, Greece) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE BangPatterns #-} | |
module Main where | |
import Test.QuickCheck | |
import System (getArgs) | |
data M = M !Integer !Integer !Integer !Integer | |
M a b c d <*> M a' b' c' d' = | |
M (a*a'+b*c') (a*b'+b*d') |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
object closable { | |
type Closable = { def close } | |
class Autoclose[A <: Closable](c: A){ | |
def foreach(f: A => Unit) = { | |
try { f(c) }finally { c.close } | |
} | |
} | |
case class Connection(name:String) { | |
def close = println("closing " + this) | |
} |