> Когда человечеству надоело заниматься развитием, а захотелось получать наслаждение (продавая и покупая), то и Лисп ушел со сцены.
И, конечно, именно прекращение развития вызвало к жизни такие вещи как система типов Хиндли-Милнера, реализованная в ML-языках и в Хаскелле, или зависимые типы, реализованные в Coq, Agda и десятке других систем.
На самом деле, всё гораздо проще. Лисп банально не оправдал ожиданий. Он обещал многое, но дать сумел гораздо меньше.
> Мы придумали несколько достаточно нетривиальных ответов, которые бы представляли Erlang типа-объектно-ориентированным языком (для тех, кто больше всего тянет руку с этим вопросом), но при этом и не объектно-ориентированным для тех, кто на самом деле в теме.
При этом те, кто НА САМОМ ДЕЛЕ в теме, прекрасно понимают, что Эрланг — язык именно что объектно-ориентированный.
Чудненько. То есть теперь мафии нужно будет не подкупать копов (дорого и ненадёжно, можно на двойную игру нарваться), а просто применить к господам хакерам методы ректального криптоанализа. Тем самым поголовье хакеров заметно уменьшится, что не может не радовать.
Очевидно, это люди, которым с клавиатуры редактировать интерфейс проще, нежели мышой. Мне, например, проще. По крайней мере, я точно знаю, что с клавиатуры я выставлю в точности те значения, которые хочу, а не на пиксель меньше или больше.
И, конечно, именно прекращение развития вызвало к жизни такие вещи как система типов Хиндли-Милнера, реализованная в ML-языках и в Хаскелле, или зависимые типы, реализованные в Coq, Agda и десятке других систем.
На самом деле, всё гораздо проще. Лисп банально не оправдал ожиданий. Он обещал многое, но дать сумел гораздо меньше.
Зависимые типы — это другое. Их в хаскеле нет, они есть в Agda и прочих Coq-ах.
В Scala есть такая фигня под названием «path-dependent types» (Шишков, переводи сам), это такой маленький кусочек настоящих зависимых типов.
Я просто перечисляю то, что в статье не упомянуто.
Согласен.
> на чистом ФП же нельзя сделать сколько-нибудь сложное приложение.
Не согласен.
При этом те, кто НА САМОМ ДЕЛЕ в теме, прекрасно понимают, что Эрланг — язык именно что объектно-ориентированный.
Может, вы что-то не то в гугле искали, и он так «интеллектуально» подставляет?
Чудненько. То есть теперь мафии нужно будет не подкупать копов (дорого и ненадёжно, можно на двойную игру нарваться), а просто применить к господам хакерам методы ректального криптоанализа. Тем самым поголовье хакеров заметно уменьшится, что не может не радовать.