И что вы сами собственно используете

Как правило у людей в головах это разделение на хорошее и плохое

Если это не вим или имакс, то это либо джава иде, либо электрон иде

Назовите то, что является ide

То, что мне нравится!

То, что мне нравится!

Я считаю, это правильный подход (:

А люди стыдятся и придумывают определения эвфемизмы

Назовите то, что является ide

idea IDE, а я пользуюсь вимом

haskel for mac :3

haskel for mac :3

то вообще песочница

An integrated development environment (IDE) is a software application that provides comprehensive facilities to computer programmers for software development. An IDE normally consists of a source code editor, build automation tools, and a debugger. Most modern IDEs have intelligent code completion. Чем атом не иде для меня все равно загадка

define ide

идея или вс

исходник в синтаксическое дерево разобрать и работать уже с ним, а не с буквами

Вот критерий IDE'шности. Я IDE и скриптованными блокнотами не пользуюсь, так что тщетно мне привзятость предъявлять

Тогда сейчас всё иде

О чем и речь

В атоме и vs code уже сто лет полная и исчерпывающая поддержка language server protocol

^

Ввиду чего термин становится махровым анахронизмом

В атоме и vs code уже сто лет полная и исчерпывающая поддержка language server protocol

LS – внешний процесс. А внутреннее представление текста в блокнотах по-прежнему буковки, которые раскрашиваются регэкспами. Соответственно, про функциональность вида “узнать, покрасить и автодополнить регэксп внутри строки”, не говоря про “css внутри HTML внутри JS”, речи в принципе не идёт.

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

не уверен, но ide это же "интегрированная"

language server protocol это же интерфейс для обратного, для того, чтобы не интегрировать, общаться через этот протокол

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

Больше внешних отличий нет

Возвращаемся к анахронизму

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

Предлагаю каждому сделать свои выводы https://langserver.org/

Это выводы из неполных сведений, половина предположений в сообщении на которое я отвечал банально не верны

css внутри js внутри html уже есть сто лет как, к примеру

Потому что среда располагает к этому и предоставляет все необходимые средства

а для вскода есть?

Эээ, так а я про что

мне бы нормальную замену vscode-styled, который только со styled.* и работает

template literals отдельный плагин есть

css внутри js внутри html уже есть сто лет как, к примеру

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

template literals отдельный плагин есть

к сожалению, в случае styled оно не подходит, редактировать код в отдельном окне тоже не слишком удобно проще допилить vscode-styled для меня вполне очевидно, что в той же идее это сделано удобнее

Ну ок, убедили, иде — это когда большая вложенность языков. Сколько у нас иде в итоге?

вложенность – побочный эффект корректного представления исходного кода

идея и вроде как студия

вау раст поверх электрона. так прогрессивно. столько перфоманса срубят

?

что это значит

dog2

А какова механика такого разделения? И зачем это в принципе может понадобиться? Допустим, у нас есть в хаскеле тип Hero с записями Health и Exp. Какая разница в записи Health Hero и Hero.Health? Синтаксический сахар и все?

механика зависит от реализации. и в реализации Кметта довольно сложная механика, мало кто её понимает

что это значит

doge

что это значит

servo скорее всего, однако это вебрендер

А какова механика такого разделения? И зачем это в принципе может понадобиться? Допустим, у нас есть в хаскеле тип Hero с записями Health и Exp. Какая разница в записи Health Hero и Hero.Health? Синтаксический сахар и все?

например, есть Hero.health и Enemy.health. можно отделить health от них обоих и работать как с объектом первого класса

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

Гм. Еще дурацкий вопрос. Какой самый разумный способ отработать, ничего не сделав, функции типа :: IO ()?

ну это не функция, значение ничего не сделав - pure (). Прямо так и читается - чистое () значение, ничего делаться не будет

Понятно, бывают неочевидные моменты

А какие тут могли бы быть более очевидные варианты?

А какие тут могли бы быть более очевидные варианты?

Вывести пустую строку. pure() настолько элементарна, что учебники проходят мимо нее, а рыться в доках тяжело

Выводить строку это целая история...

И в типе про это ничего нет.

Вывести пустую строку. pure() настолько элементарна, что учебники проходят мимо нее, а рыться в доках тяжело

Конкретно про pure никто рассказывать и не будет, а вот про то, что IO, среди прочего, ещё и Applicative будут.

*про pure ()

Вывести пустую строку. pure() настолько элементарна, что учебники проходят мимо нее, а рыться в доках тяжело

но наверняка говорили про return (return = pure)

Господа, пора раскулачивать Брагилевского на видео с обзором на современную Computation Theory https://twitter.com/_bravit/status/1006183255241084930

да ладно, там какие-нибудь другие проблемы будут. гхц нормально поддерживается только на убунте, никс-ос и, может, генте, да и то врядли

На генте никогда проблем не было

Господа, пора раскулачивать Брагилевского на видео с обзором на современную Computation Theory https://twitter.com/_bravit/status/1006183255241084930

Ну незнаю. Вот если бы @bravit111 обещал больше унижать студентов, я бы ретвитнул.

Это автоматически идёт, без обещаний

А ->, которая ещё предпорядок на типах, как по английски правильно называется?

Спрашиваю потому, что есть ещё Arrows, которые "генерализация монад".

Hi, everyone! I've started learning Haskell not long time ago, and I'm curious are there any application of that language in production?

это где?

это где?

в https://t.me/en_haskell

вбрсо месяца

Hi, everyone! I've started learning Haskell not long time ago, and I'm curious are there any application of that language in production?

шутки за 1000

а вот Гонзалес, похоже, не шутит а продвигает какую-то новую придурь https://twitter.com/GabrielG439/status/1006447420874678272

нормальная дурь

нет

хотя вполне логично, Гонзалез же и против сокращенной квалификации был

а что за сокращённая квалификация?

@bravit111 взял планку

qualified Data.Vector.Unboxed as V - сокращенная

на 1 слово "import" чтоли всё сокращение?

а, или просто против всяких V, в пятницу видел у него длинные квалификации, да

нет сокращение Data.Vector.Unboxed до V

да

Гонзалес стремительно движется в сторону "читаемость == вербозность"

чем больше читать - тем читаемее!

чем меньше угадывать - тем читаемее

в том-то и дело что нет

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

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

в комментариях к @int_index пропозалу отметился даже человек, который аннотирует кайнды

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

короче, хаскельная антиутопия: "я буду аннотировать еще больше!"

(товарищ Гонзалес всегда прав)

а когда не совсем прав - смотри аннотации к предыдущему пункту?

чего их смотреть? надо добавлять аннотаций, тем более что каждую хасельную функцию можно проаннотировать "товарищ Гонзалес всегда прав" и не один раз

вбрсо месяца

Да какой вброс, там 53 человека всего.

Вот я вчера вбросил так вбросил!

Вот я вчера вбросил так вбросил!

что?

Статью на хабр. "Про рынок ИТ в России по-честному".