근데 왜 객체지향에서는 다운캐스팅쓰지말고 전략패턴쓰라그러고
함수형에서는 패턴매칭이라는 문법까지 만들어서 쓰라고 하는거임?