Safety is a lie, there are only static types. Through types, I gain purity. Through purity, I gain laziness. Through laziness, I gain composability. Through composability, my refactorings are easy. Haskell shall free me. - Darth Simon

The rule of two: there can be only 2 active contributors to GHC.

Не-не, "Simon" это и есть "Darth"

Simon Marlow

Simon Peyton Jones

Такое

Ну там еще RAE объявился.

Или он из rebellion?

Просто из соседнего ордена :)

Или ещё не дорос до "Simon"

<comic sans>unlimited powwaaahh</comic sans>

Когда Marlow добавлял async exceptions в язык: - But I thought I had exception safety in my code? - I am altering the deal, pray I do not alter it any further.

The rule of two: there can be only 2 active contributors to GHC.

Сэд бат тру

Дратути

А тут можно нубские вопросы задавать?

да

Можно и тут, но есть спецчятик для этого (https://t.me/haskell_learn)

спецчатик в котором затыкают рот и гонят обратно сюда

Там своя особая атмосфера :)

Там своя особая атмосфера :)

Кук будто тут не своя

И тут своя. Обе - особые :)

А, ну тоже неплохо. Несколько слов о том, почему я здесь: надо конвертнуть пару тысяч tiddler'ов из TiddlyWiki в MediaWiki. И что-то мне подсказывает, что для этого придётся написать reader для pandoc. Я, в общем, буду рад если кто-то подскажет [не]очевидный способ сделать быстрее/проще. С другой стороны - у меня теперь есть повод поизучать хаскель :)

Пандок - очевидный кандидат на попробовать допилить

Тиддли в каком виде хранит заметки? Я помню, что в HTML себе прямо инжектит, но в виде HTML таки, или как данные для движка?

https://github.com/achabotl/tiddly2md что-тотакое разок можно прогнать, даже если оно и на питоне :)

Хотя выгрузка делается всё равно силами плагина для Тиддли. М.б. и правда Reader написать для Pandoc...

ну, в общем там в любом случае на выходе текст с метаданными, да

Не понял. Тут шо не любят скалу?

а за что ее любить?

В бочке скалы есть ложка мёда, конечно, но все равно она страшная.

а за что ее любить?

Эмм.. та это пускай каждый сам решает

т.е. не за что, понятно

В бочке скалы есть ложка мёда, конечно, но все равно она страшная.

Подробнее если можно) реально просто хочу понять почему она так не нравится вам?

я тож не понял за что любить скалу (

Подробнее если можно) реально просто хочу понять почему она так не нравится вам?

с еще большим успехом этот вопрос можно задать в чате гоферов

а тут декаданс и депрессия порою кажется и хаскелль не любят

с еще большим успехом этот вопрос можно задать в чате гоферов

Возможно. А что такое гофер?

лучше сразу в котлинчате

а за что его любить?

Возможно. А что такое гофер?

го-ланг

а за что его любить?

Хаскель-то?

да

Любить язык, на котором ты пишешь работу - это какое-то совсем страшное зрелище.

да

Любить не за что, но терпеть проще остальных

вот!

возможно

как вообще можно программирование любить?

есть две скалы одна это которая "улучшенная джава" и непонятно нахрен нужна потому что ну возьми уже девятую джаву и не имей проблем с компилятором, с тем что нет бинарной совместимости даж при минорных апдейтах, с тем что в неожиданных местах начинает все тормозить и тд и другая которая "почти хаскель" и непонятно нахрен нужна потому что ну возьми уж хаскель тогда

как вообще можно программирование любить?

Согласен. Программирование - оно же всё о критическом подходе и рассуждениях. А вот эта вся фигня с любовью вроде по определению противоречит

как вообще можно программирование любить?

Ну это легко объясняется, сначала вырабатывается условный рефлекс на выброс эндорфинов "скомпилилось!!!", а потом снаркоманиваешься

Согласен. Программирование - оно же всё о критическом подходе и рассуждениях. А вот эта вся фигня с любовью вроде по определению противоречит

как по мне это инжерное дело, а программирование это как машинисткой работать

есть две скалы одна это которая "улучшенная джава" и непонятно нахрен нужна потому что ну возьми уже девятую джаву и не имей проблем с компилятором, с тем что нет бинарной совместимости даж при минорных апдейтах, с тем что в неожиданных местах начинает все тормозить и тд и другая которая "почти хаскель" и непонятно нахрен нужна потому что ну возьми уж хаскель тогда

ну не совсем непонятно, если надо жвм использовать, то что еще?

Ну это легко объясняется, сначала вырабатывается условный рефлекс на выброс эндорфинов "скомпилилось!!!", а потом снаркоманиваешься

ну надо хелловорлд тогда башовым скриптом компилять в цикле и валяться на полу содрогаясь от экстаза

ну не совсем непонятно, если надо жвм использовать, то что еще?

Если не тошнит от ghc 7.8 и совсем не нужен перфоманс и вообще ты забыл, зачем тебе хаскель, есть eta

джаву, котлин если без типов ок то кложу

как вообще можно программирование любить?

Вообще можно. Но это когда оно в удовольствие и по собственному интересу. Перекидывание лопатой навозных куч в ентерпрайзе же удовольствия не доставляет, это просто работа.

ну надо хелловорлд тогда башовым скриптом компилять в цикле и валяться на полу содрогаясь от экстаза

Это недостаточная доза, там надо чтобы что-то нетривиальное скомпилилось, то что хотелось скомпилить (из интересной доменной области).

Но когда бащ-скрипт не валится от ошибки это тоже достижение.

есть две скалы одна это которая "улучшенная джава" и непонятно нахрен нужна потому что ну возьми уже девятую джаву и не имей проблем с компилятором, с тем что нет бинарной совместимости даж при минорных апдейтах, с тем что в неожиданных местах начинает все тормозить и тд и другая которая "почти хаскель" и непонятно нахрен нужна потому что ну возьми уж хаскель тогда

То есть мультипарадигмальные языки вам не по душе. Ок. Но меня больше интересует что не так со скалой по сравнению с хаскелем. Что прям заставляет выбрать хачкель однозначно.

Если не тошнит от ghc 7.8 и совсем не нужен перфоманс и вообще ты забыл, зачем тебе хаскель, есть eta

там 7.10, но я бы побоялся связываться пока, совсем же недоделанная еще. (перформанс там правда сносный, судя по моим ФП-микробенчмаркам)

ну надо хелловорлд тогда башовым скриптом компилять в цикле и валяться на полу содрогаясь от экстаза

Толерантность быстро растёт, начал с хэлло волда а через месяц уже хазохизмы не прут

То есть мультипарадигмальные языки вам не по душе. Ок. Но меня больше интересует что не так со скалой по сравнению с хаскелем. Что прям заставляет выбрать хачкель однозначно.

когда хочется функциональщины и не такой которая сбоку прикручена и работает кое-как? )

ERROR: S client not available

Толерантность быстро растёт, начал с хэлло волда а через месяц уже хазохизмы не прут

параболичненько

То есть мультипарадигмальные языки вам не по душе. Ок. Но меня больше интересует что не так со скалой по сравнению с хаскелем. Что прям заставляет выбрать хачкель однозначно.

все же мультипарадигменность подразумевает поддержку нескольких парадигм, а в скале все ФП существует в виде энкодингов и костылей накостыленных фрустрированными хаскелистами

Фрусткель

джаву, котлин если без типов ок то кложу

в джаве и котлине совсем не весело по части ФП, там и костыли не накостылить

все же мультипарадигменность подразумевает поддержку нескольких парадигм, а в скале все ФП существует в виде энкодингов и костылей накостыленных фрустрированными хаскелистами

От этого как то страдает производительность? Или только удобство написания кода в чисто функциональном стиле?

От этого как то страдает производительность? Или только удобство написания кода в чисто функциональном стиле?

производительность чего, ФП-кода или функционального программиста?

качество жизни от этого страдает немного

производительность чего, ФП-кода или функционального программиста?

Кода

но всё равно просыпаешься с утра под карканье ворон и хочется пойти ещё чего-то закостылить

ну да, страдает, там оптимизаций под ФП почти нету

температура в пятой точке от этого повышается

Кода

частично

частично

А есть ссылки на какие то перформанс тесты? Было бы интересно глянуть.

Скажите, а +8 участников в Haskell learn за один день - это нормально?

конечно, оптимизации для ФП кода вообще редкое явление

нет, нелегально, всем по щам надавать

ну у вас и вопросы сегодня

Скажите, а +8 участников в Haskell learn за один день - это нормально?

тут на него ссылку запостили, ничего удивительного

Там уже зигоморфизмы обсуждают? Все русскоязычные ресурсы про хаскелль для новичков превращаются в кметтометание через три часа, по моим наблюдениям.

А есть ссылки на какие то перформанс тесты? Было бы интересно глянуть.

частично. Но перформанс - это тема, на которую нерально сложно прийти к объективным выводам https://github.com/fosskers/scalaz-and-cats#benchmarks

Там уже зигоморфизмы обсуждают? Все русскоязычные ресурсы про хаскелль для новичков превращаются в кметтометание через три часа, по моим наблюдениям.

там если разговор недостаточно нубский сразу начинают выгонять, но выгнать не могут, конечно, обычно недовольные не модераторы

частично. Но перформанс - это тема, на которую нерально сложно прийти к объективным выводам https://github.com/fosskers/scalaz-and-cats#benchmarks

Тут разве есть сравнение с хаскелем?

Тут разве есть сравнение с хаскелем?

а ты открой и посмотри

а ты открой и посмотри

Уже

и как?

с мобилки, небось, открыл, которая по хешу не автоскроллит

и как?

А... Сори) с телефона не увидел конец таблиц. Спасибо

на каких-то вычислениях, которые к ФП мало отношения имеют, жвмный гит может хаскель и уделать Но как только речь заходит об аллокациях функций, всяких ADT, которые могут в GHC 8.2 матчиться без аллокаций или IO, там, что называется, several orders of magnitude

наверное, для второго тезиса надо какой-то фримонадный интерпретатор побенчить

но уже даже для State ты видишь комбинацию говённого представления лямбд и говённого матчинка такой упрощённой фримонады Eval/Trampoline, которая в строгих языках используется для борьбы со стэковерфлоу

справедливости ради, надо заметить что это все плохо оптимизируется почти во всех языках, которые функциональными считаются без особых оговорок

но уже даже для State ты видишь комбинацию говённого представления лямбд и говённого матчинка такой упрощённой фримонады Eval/Trampoline, которая в строгих языках используется для борьбы со стэковерфлоу

Ок. Чуть позже посмотрю детальнее. Спасибо за развернутый ответ) может ещё книгу какую посоветуешь? Если есть что то на примере построения какого то большого приложения. Хелло ворлд или шо такое функтор мне не надо.