| /** | |
| * this is an experiment to create unboxed union types with a phantom type and a context bound. | |
| * All the good ideas come from @milessabin post, comments and links: http://www.chuusai.com/2011/06/09/scala-union-types-curry-howard/#comment-22 | |
| */ | |
| /** trait for anything that can be A or B */ | |
| trait Or[A, B] { | |
| // a phantom type, there will be no instance of this type that we'll use | |
| type l[T] | |
| // an alias for l[t] |
tl;dr: Solving a very specific problem using FP tends to produce a very general solution that's applicable to a wide range of problems.
Let's start with some Java code that we'll simplify using functional programming.
class Department {
Employee getYoungestEmployee() {
if (employees.isEmpty()) return null;