« Rev
@haskellru   1518
Fwd »


кана
а для вскода есть?
Дима
Эээ, так а я про что
кана
мне бы нормальную замену vscode-styled, который только со styled.* и работает
Дима
template literals отдельный плагин есть
Andrei
css внутри js внутри html уже есть сто лет как, к примеру
это частный пример, был выбран за популярность. вопрос в том, работает ли это для любых сочетаний синтаксисов произвольной вложенности. В идее работает.
кана
template literals отдельный плагин есть
к сожалению, в случае styled оно не подходит, редактировать код в отдельном окне тоже не слишком удобно проще допилить vscode-styled для меня вполне очевидно, что в той же идее это сделано удобнее
Дима
Ну ок, убедили, иде — это когда большая вложенность языков. Сколько у нас иде в итоге?
Andrei
вложенность – побочный эффект корректного представления исходного кода
Andrei
идея и вроде как студия
кана
что это значит
кана
dog2
adam
что это значит
servo скорее всего, однако это вебрендер
Cheese
это не сделает ваши волосы шелковистыми сразу, но иногда бывает очень полезно
.sυλ
Гм. Еще дурацкий вопрос. Какой самый разумный способ отработать, ничего не сделав, функции типа :: IO ()?
кана
ну это не функция, значение ничего не сделав - pure (). Прямо так и читается - чистое () значение, ничего делаться не будет
.sυλ
Понятно, бывают неочевидные моменты
IC
А какие тут могли бы быть более очевидные варианты?
.sυλ
А какие тут могли бы быть более очевидные варианты?
Вывести пустую строку. pure() настолько элементарна, что учебники проходят мимо нее, а рыться в доках тяжело
IC
Выводить строку это целая история...
IC
И в типе про это ничего нет.
Кабачок
Вывести пустую строку. pure() настолько элементарна, что учебники проходят мимо нее, а рыться в доках тяжело
Конкретно про pure никто рассказывать и не будет, а вот про то, что IO, среди прочего, ещё и Applicative будут.
IC
*про pure ()
igo
Господа, пора раскулачивать Брагилевского на видео с обзором на современную Computation Theory https://twitter.com/_bravit/status/1006183255241084930
Leonid 🦇
Господа, пора раскулачивать Брагилевского на видео с обзором на современную Computation Theory https://twitter.com/_bravit/status/1006183255241084930
Ну незнаю. Вот если бы @bravit111 обещал больше унижать студентов, я бы ретвитнул.
Vitaly
Это автоматически идёт, без обещаний
Кабачок
А ->, которая ещё предпорядок на типах, как по английски правильно называется?
Кабачок
Спрашиваю потому, что есть ещё Arrows, которые "генерализация монад".
A64m
Hi, everyone! I've started learning Haskell not long time ago, and I'm curious are there any application of that language in production?
Denis
это где?
Andrei
это где?
в https://t.me/en_haskell
Andrei
вбрсо месяца
A64m
а вот Гонзалес, похоже, не шутит а продвигает какую-то новую придурь https://twitter.com/GabrielG439/status/1006447420874678272
Vladislav
нормальная дурь
A64m
нет
A64m
хотя вполне логично, Гонзалез же и против сокращенной квалификации был
Kirill
а что за сокращённая квалификация?
a66ath
@bravit111 взял планку
A64m
qualified Data.Vector.Unboxed as V - сокращенная
Kirill
на 1 слово "import" чтоли всё сокращение?
Kirill
а, или просто против всяких V, в пятницу видел у него длинные квалификации, да
A64m
нет сокращение Data.Vector.Unboxed до V
A64m
да
A64m
Гонзалес стремительно движется в сторону "читаемость == вербозность"
A64m
чем больше читать - тем читаемее!
IC
чем меньше угадывать - тем читаемее
A64m
в том-то и дело что нет
A64m
есть куча тривиальных вещей, которые не проблема угадать, но если накидать их кучами на интересные, ничего уже не прочитаешь
A64m
сейчас вообще у хаскелистов такая эпоха пошла, накидывай тривиальные вещи лопатой и читай потом до посинения
A64m
в комментариях к @int_index пропозалу отметился даже человек, который аннотирует кайнды
A64m
на хаскель симпозиум даже пейпер есть, "мы все хотим аннотировать больше, но не всегда можем, так что работаем над тем чтоб могли аннотировать еще больше"
A64m
короче, хаскельная антиутопия: "я буду аннотировать еще больше!"
A64m
(товарищ Гонзалес всегда прав)
Timofey
а когда не совсем прав - смотри аннотации к предыдущему пункту?
A64m
чего их смотреть? надо добавлять аннотаций, тем более что каждую хасельную функцию можно проаннотировать "товарищ Гонзалес всегда прав" и не один раз
Alexander
вбрсо месяца
Да какой вброс, там 53 человека всего.
Alexander
Вот я вчера вбросил так вбросил!
Alexander
Статью на хабр. "Про рынок ИТ в России по-честному".
Alexander
этотда
Alexander
там комментарии жесть веселые
Alexander
Нет, это было от чистого сердца. Но такие вещи все равно воспринимаются как вброс
Anonymous
Надеюсь что нет )))
A64m
Проблема не разово угадывать, а постоянно
постоянно угадывать не проблема. вот кайнды мы постоянно угадываем, чего там угадывать-то? а представьте как их всегда читать (в 99.99% случаев один и тот же), т.е. аннотация просто разносит текст но пользы от нее никакой
A64m
то что надо угадывать разово, как раз лучше аннотировать
Влод
Ну можно же поставить дефолтный кайнд * и остальные дописывать самому Хотя реально вроде не было проблемы угадать кайнд.
Влод
Но это может из-за того что я мало видел
A64m
короче говоря, угадаешь что-то миллион раз в день - даже не заметишь прочитаешь что-то тысячу раз в день - крыша поедет угадаешь что-то раз в год - запоминающееся событие
A64m
Ну можно же поставить дефолтный кайнд * и остальные дописывать самому Хотя реально вроде не было проблемы угадать кайнд.
ну так в том и дело, что дописывать надо те, которые какой-то интерес представляют, а не тот что всегда
« Rev
@haskellru   1518
Fwd »