| changeset 364 | 18942af74fa1 | 
| parent 361 | 736a60afedbc | 
| child 367 | 24f86eb53259 | 
--- a/progs/lecture1.scala Wed Nov 18 01:54:39 2020 +0000 +++ b/progs/lecture1.scala Sun Nov 22 03:45:22 2020 +0000 @@ -522,26 +522,3 @@ // friend. - - - -// declarative - -users.filter(_.email.endsWith("@gmail.com")) - -// imperative - -val result = ListBuffer[User]() -for(user <- users) { - if(user.email.endsWith("@gmail.com")) { - result += user - } -} -result.toList - - - - - - -