| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Mon, 25 Dec 2023 01:10:55 +0100 | |
| changeset 479 | 78cb5cdda3c3 | 
| parent 460 | f5c0749858fd | 
| permissions | -rw-r--r-- | 
| 421 | 1  | 
import M4a._  | 
| 
391
 
048fc6b70776
added main4 marking
 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 | 
2  | 
|
| 
 
048fc6b70776
added main4 marking
 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 | 
3  | 
|
| 
 
048fc6b70776
added main4 marking
 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 | 
4  | 
val f_urban = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None  | 
| 
 
048fc6b70776
added main4 marking
 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 | 
5  | 
|
| 460 | 6  | 
|
7  | 
import scala.concurrent._  | 
|
8  | 
import scala.concurrent.duration._  | 
|
9  | 
import ExecutionContext.Implicits.global  | 
|
10  | 
import scala.language.postfixOps  | 
|
11  | 
||
12  | 
lazy val f = Future {
 | 
|
13  | 
||
| 
391
 
048fc6b70776
added main4 marking
 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 | 
14  | 
assert(first(List((1,0),(2,0),(3,0),(4,0)), f_urban) == Some(List((4,0))))  | 
| 
 
048fc6b70776
added main4 marking
 
Christian Urban <christian.urban@kcl.ac.uk> 
parents:  
diff
changeset
 | 
15  | 
assert(first(List((1,0),(2,0),(3,0)), f_urban) == None)  | 
| 460 | 16  | 
}  | 
17  | 
||
18  | 
Await.result(f, 32 second)  | 
|
19  |