0xd34df00d
09.10.2011 10:36 Azoth_primary
Сегодня мне приснился обалденный сон. Весь наш мир был полностью type safe. У всех функций были правильные домены и кодомены, которые различались, когда надо, даже если пространства были изоморфны. Имена файлов и директорий имели разные типы. Да даже поссать нельзя было без проверки типов!
Проснулся с отличным настроением на весь день.
23 comments
recommend
bookmark
subscribe
отсыпь.
Я за вчера объебался кодом, а потом полтора часа на утро^W \ночь Шекли читал.
И пошёл кодать на duck типизированных плюсах :3
Отнюдь. Пошел реализовывать Левенберга-Марквардта руками на х-ле :3
Делать тебе нечего, — использовать х-ль для задач с таким количеством побочных эффектов.
Почему это?
Потому что х-ль неподходит для таких задач. И готов поспорить, что у тебя там ни разу не появились экстенциальные типы, чтобы оправдать использование х-ля вместо ocaml.
Ocaml дохуя штоле ?
Они, кажется, появлялись где-то внутри хуевины для автоматического вычисления якобиана функции.
А еще использование х-ля вместь о-ля оправдано полным незнанием мной второго и все же какими-никакими, но сроками.
Нет хаскель!
А ты вообще мне в приватиках нужен :3
Такая параноидальная типизация в кэмле, я считаю.
> Они, кажется, появлялись где-то внутри хуевины для автоматического вычисления якобиана функции
Ты хоть знаешь что это такое, математик херов? http://www.haskell.org/haskellwiki/Exist...
> А еще использование х-ля вместь о-ля оправдано полным незнанием мной второго и все же какими-никакими, но сроками.
У тебя нету 15 минут на прочтение референса?
Нет не знаю. Я же прикладной математик, а не какой-то там Элемир.
Нет нету. И уже поздно переписывать все.
> Я же прикладной математик, а не какой-то там Элемир.
Элемир информатик, ну.
> Нет, не знаю
То есть ты не знаешь ни одного существенного отличия haskell от ocaml, и используешь haskell, который сжирает в разы больше памяти (из-за специфики шедулеров ленивых языков) и ещё тормозит на нечистых вычислениях? Типичный дедфуд, ok
Популяция на 400 функций при регрессии зависимости R² → R в 900 точках — 3 метра памяти. ЧЯДНТ?
Это дохуя.
Для этой задачи, естественно.
Учитывая, что это значение как-то не очень меняется от количества всего подряд, я склонен считать, что процентов 90 из него — рантаймовый оверхед, этакое значение в нуле.
Охуенчик, подрочил на existential types, спасибо.
Не за что ж, я сам долго радовался
Полностью типизированная антиутопия. Ок, я представил.
Вообще это правда антиутопия, ибо лежит в (0,0,0) лямбда-куба. Типизированная утопия была (1,1,1)
И все бы играли джаз, и танцевали его, и писали бы на Coq...