未来の言語はどうなるか 今ある言語の「普通版」 Haskell? Prolog?