metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2009-12-06 09:53 am

Епический стыд

Пытался написать прогу на хаскеле, которая читает файл, обрабатывает его и дописывает в его конец новую строку. Тут же напоролся на lazy i/o и то, что после hClose файл уже не читается, а до hClose файл нельзя открыть на запись. C readFile аналогично.

Кстате, что-то я в System.IO совсем не вижу вариаций openFile с ShareRead/ShareWrite, оно что ле вообще не предусмотрено?

[identity profile] metaclass.livejournal.com 2009-12-06 10:29 am (UTC)(link)
Ну, апологеты считают иначе.
Мне нужен язык с выводом типов, каррированием, ФВП и прочими подобными фичами, а синтаксис эрланга, окамла и схемы меня бесит.

Основная проблема, которую я вижу с хаскелем, кроме его академичности - это то, что если где-нибудь посередине сложного проекта на нем начнутся баги в компиляторе - это будет очень смешно :) А вероятность такого есть, скажем, YHC я убивал прожкой в три строки.

[identity profile] theiced.livejournal.com 2009-12-06 10:48 am (UTC)(link)
>Ну, апологеты считают иначе.
Мне нужен язык с выводом типов, каррированием, ФВП и прочими подобными фичами, а синтаксис эрланга, окамла и схемы меня бесит.

Что не так со схемой? Эрланг тоже кстати вполне себе. Окамль я не осилил (но на нём тоже пишут тяжёлый софт). Все три продакшн-рэди.

>Основная проблема, которую я вижу с хаскелем, кроме его академичности - это то, что если где-нибудь посередине сложного проекта на нем начнутся баги в компиляторе - это будет очень смешно :) А вероятность такого есть, скажем, YHC я убивал прожкой в три строки.

Вероятность этого - 100% - вообще, науке не известны большие проекты писанные на хаскеле (хотя бы по причине того что пока проект будет написан, в хаскеле всё поменяется и ничего не будет работать ;]).

[identity profile] permea-kra.livejournal.com 2009-12-06 11:07 am (UTC)(link)
Вообще-то, компилятор хаскеля написан на хаскеле и вместе с базовыми библиотеками в упаковонном виде весит овер 6 мег. При этом себя бутстраппит.

[identity profile] theiced.livejournal.com 2009-12-06 12:29 pm (UTC)(link)
Я в курсе. И фигли толку? Вон на жаве из гуйни написано 100500 иде для жавы. Жава пригодна для гуи?

[identity profile] permea-kra.livejournal.com 2009-12-06 12:41 pm (UTC)(link)
Ээээ. А фигли тогда говорите заведомую неправду-то ?

[identity profile] theiced.livejournal.com 2009-12-06 12:45 pm (UTC)(link)
давайте мне пример чегой нить КРОМЕ компилятора хаскеля.

[identity profile] permea-kra.livejournal.com 2009-12-06 01:42 pm (UTC)(link)
А зачем? Утверждение с квантором общности опровергается одним контрпримером.

[identity profile] theiced.livejournal.com 2009-12-06 02:11 pm (UTC)(link)
Вот новое утверждение - на хаскеле не сделано ничего значимого кроме компилятора хаскеля (а он таки проект небольшой) == он не годится для написания больших проектов.

[identity profile] permea-kra.livejournal.com 2009-12-06 02:33 pm (UTC)(link)
Дополнение: проект, который на другом языке был бы большим, на хаскеле с высокой вероятностью будет маленьким.

[identity profile] antilamer.livejournal.com 2009-12-06 02:37 pm (UTC)(link)
1) bluespec.com ? galois.com ?
2) Что Вы называете "большой проект"? Учтите, что мерить в количестве строк, количестве программистов или времени разработки некорректно т.к. подобное утверждение можно будет опровергнуть тем, что хаскель лаконичен, достаточно продуктивен чтобы стопицот программистов было не нужно, а действительно качественная компиляция и много библиотек появились лишь сравнительно недавно. (внимание: я не утверждаю, что это так - я утверждаю, что если Вы будете мерить именно так, то обсуждение зайдет в тупик)

[identity profile] volodymir-k.livejournal.com 2009-12-06 03:41 pm (UTC)(link)
Да, Жава пригодна для гуи.

[identity profile] henu3detb.livejournal.com 2009-12-07 08:44 am (UTC)(link)
Конечно.
Что не так с гуйней на джаве?

[identity profile] levgem.livejournal.com 2009-12-07 03:20 pm (UTC)(link)
А назовите мне пример хотя бы одной софтины на яве, которая бы быстро работала и имела нативный интерфейс, а не коряво сымитированный.

[identity profile] henu3detb.livejournal.com 2009-12-07 03:27 pm (UTC)(link)
Нативный - все что на swt, eclipse, например. Насчет быстро можно спорить, по мне eclipse отзывчив весьма, хотя как IDE не нравится.

Еще есть коряво сымитированный Oxygen XML. Настолько коряво, что мало кто об этом догадывается, пока не покажешь что это swing.

[identity profile] volodymir-k.livejournal.com 2009-12-09 10:51 am (UTC)(link)
Azureus Vuze

[identity profile] metaclass.livejournal.com 2009-12-06 11:50 am (UTC)(link)
Схема напрягает своим синтаксисом и отсутствием вывода типов.
Эрланг меня печалит своим синтаксисом и вроде у него динамическая типизация.
Окамл лежит на сайте в домене .fr, что само по себе напрягает - от лягушатников ждать ничего хорошего нельзя :)

[identity profile] theiced.livejournal.com 2009-12-06 12:28 pm (UTC)(link)
Ребе, на вас ещё не снизошло просветление (это про схему).
Про эрланг - я не профи в эрланге, но очень многим нравится.
А про окамл - это вже придирки.

[identity profile] clayrat.livejournal.com 2009-12-06 01:39 pm (UTC)(link)
да, за окамл вы это зря. у "лягушатников" сильнейшая математическая подготовка в мире.

[identity profile] freiksenet.livejournal.com 2009-12-06 12:15 pm (UTC)(link)
Чем схема менее академична и более "продуктивна" чем Хаскель?

[identity profile] theiced.livejournal.com 2009-12-06 12:27 pm (UTC)(link)
Тем что на схеме пишут (и пишут много). Да, в большинстве случаев это эмбедед схема, но не пофиг ли?

[identity profile] clayrat.livejournal.com 2009-12-06 01:37 pm (UTC)(link)
честности ради надо сказать, что масштабные "индустриальные" проекты всё ж обычно пишут на common lisp

[identity profile] theiced.livejournal.com 2009-12-06 02:12 pm (UTC)(link)
ну есть такое, спорить не буду. но и схемы хватает.

[identity profile] permea-kra.livejournal.com 2009-12-06 03:07 pm (UTC)(link)
Как на ней что-то писать можно кроме мелочи на 10 строк - не понимаю.

[identity profile] theiced.livejournal.com 2009-12-06 10:05 pm (UTC)(link)
Не. В очередной раз убедился что фанатики хаскеля тупы ещё более чем ораклисты. даже флэйма толком не выйдет.

Достали. Сидите и дрочите на свой кривохаскель. Удачи.

[identity profile] freiksenet.livejournal.com 2009-12-07 07:49 am (UTC)(link)
Слив засчитан.

[identity profile] freiksenet.livejournal.com 2009-12-06 05:57 pm (UTC)(link)
Для чего хватает? Для решения примеров из SICP и для создания экстешненов для Inkscape?

[identity profile] freiksenet.livejournal.com 2009-12-06 05:53 pm (UTC)(link)
Ну может для встроенных языков она и хороша, но писать полноценные проекты на ней сложно изза практического отсутствия достойных библиотек.

[identity profile] kkirsanov.livejournal.com 2009-12-06 04:39 pm (UTC)(link)
Сейчас в тебя кинут штангу ;)

[identity profile] freiksenet.livejournal.com 2009-12-06 05:54 pm (UTC)(link)
Штангу кинут в того с кем я спорю :))

[identity profile] little-arhat.livejournal.com 2009-12-06 10:55 am (UTC)(link)
а что не так с синтаксисом окамла? oO

[identity profile] permea-kra.livejournal.com 2009-12-06 11:08 am (UTC)(link)
У меня за год использования ghc он упал в одном месте и то при использовании сомнительных фич. В рамках haskell98 глюки крайне маловероятны.

[identity profile] gds.livejournal.com 2009-12-06 01:55 pm (UTC)(link)
синтаксис окамла -- нужно брать revised и только его. original syntax -- говнище.