Vladislav
Мое знакомство с Linux и печальный уход от уютной IDE произошел, когда мне захотелось писать на C++11, который в VS C++ не поддерживался, зато поддерживался в g++. Needless to say, было несколько вариантов IDE, все сломанные beyond repair — CodeBlocks, NetBeans, Eclipse, что-то там еще
Vladislav
Потому что никто не умеет продукт сделать, умеют только налепить
Vladislav
а во всяких vim меня только поражает этот фетишизм, мол ТАК И ДОЛЖНО БЫТЬ
доня.
Qt Creator не пробовал?
Vladislav
Там вообще свой диалект, Qt C++, нет?
доня.
не, в самой IDE можно просто на крестах писать
Vladislav
Тогда видимо зря не попробовал. К счастью уже на C++ не пишу
Ilya
а для всего остального всё равно vim?:)
доня.
я вообще Владислава спрашивал)
он просто написал что его CodeBlocks и т.д. не устроили
Ilya
а, перепутал я значит
доня.
а в твоём случае.. ну а почему для остального vim
что мешает bash файлы во вкладке того же криэйтора открыть?
доня.
и я не знаю, есть ли IDE которые умеют для всякого автокомплита парсить те же SWIG файлы
если есть, то круто было б ведь
Ilya
и я не знаю, есть ли IDE которые умеют для всякого автокомплита парсить те же SWIG файлы
если есть, то круто было б ведь
я сомневаюсь, что есть хоть одно IDE, которое хотя бы подсветит swig файл нормально))
Ilya
а для вима я просто скачал syntax файл и всё
Ilya
ну да, регекспы, не спорю
Ilya
зато именно что 100% универсально
Vladislav
А здесь спорить не приходится, оно везде good enough, только нигде не really good.
Vladislav
в то время как IDE может быть хороша написана под один язык, а для других быть вообще непригодна
кана
предпочитаю не бросаться в крайности, а использовать что-то среднее - например vscode, который и из коробки содержит довольно неплохой интегрированный тулинг для JS (TS), и легко расширяется, поставляя плагинам АПИ для интерфейса дебагера, скажем. Другое дело, что с хаскелем всем равно все завязано на десяток консольных тулз
кана
была бы для хаскеля живая IDE - даже не думал бы
Vladislav
Я вот все хочу сделать, но у меня не столько времени свободного
Vladislav
Рано или поздно сделаю, если к тому моменту кто-то еще будет Haskell писать, конечно.
Ilya
а кто-нибудь пользуется в IDE vim-плагином?
Ilya
я везде где не читаю, люди жалуются
Ilya
интересно, есть ли хоть один реальный пользователь, или же переход на IDE должен обязательно совпровождаться переходом на редактирование стрелочками
доня.
ну, я когда Qt Creator'ом пользовался, у меня по дефолту vim-плагин был выключен, но я его включал хоткеем когда мне нужно было блочное выделение например
Vladislav
Я пробовал IDEA с vim-плагином, там мало что поддерживается, забил
Vladislav
А так жаль, такие красивые meld-style диффы там
Ilya
печально, ну я примерно такие отзывы и читал
Ilya
почему нельзя оставить обработку текста виму, а обработку кода доверить IDE
Ilya
где там ваш 2017
доня.
ну вот для Atom есть плагин который использует NeoVim
доня.
типа интерфейс атома, а за редактирование отвечает сервер NeoVim
доня.
было б круто если бы кто-то такое запилил для IDEA
доня.
(но мне бы все равно памяти не хватило)
Vladislav
где там ваш 2017
Пытаются https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md
Влод
ахах снова про вим/емакс
короче про fprog:
Дениса не успел послушать, а то что удалось – не услышал, нет микрофонов и лучше слышно как люди по работе шепчутся
PowerQL язык будущего
@qnikst хорошо бы чуть чуть подсветки добавлять и по-возможности сигнатуры (хотя тут мне не хватало сигнатур побочных функций, а их всех не выпишешь)
публика неподготовленная, несмотря на то что фп митап.
как-то в датаарте рассказывали про идрис для хаскелистов, а люди спрашивали как сигнатуры читать.
Дима
а вы что думали?))) https://gist.github.com/gcanti/4edc2c46b37fb86cdf1234469d9734cc
gcanti опять наркоманит
Vladislav
Backpack с TemplateHaskell не подружился. Мде.
Andrew
Всем доброе утро.
Что-то я запутался, подскажите пожалуйста, правильно ли я понимаю, что в следующем определении функции a b и c это разные типы должны быть?
someFunc :: a -> b -> c
Warren
могут, но не обязаны
Alexandr
Это означат только то, что они потенциально могут отличаться, но ничего не мешает a и b быть Int, например, а C Num
Alexandr
А вот someFunc :: a -> a -> a гарантирует, что все параметры и возвращаемое значение будут одного типа
Andrew
Спасибо
Alexander
@vlastachu я ожидал другой уровень публики, так бы по другому готовил
Alexander
но про сигнатуры - согласен
Евгений
А запись доклада есть?
Ilya
Всем доброе утро.
Что-то я запутался, подскажите пожалуйста, правильно ли я понимаю, что в следующем определении функции a b и c это разные типы должны быть?
someFunc :: a -> b -> c
Это сигнатура полиморфной функции. Здесь a b c - не конкретные типы, а переменные типа. Такая функция обещает принять параметр какого угодно типа, потом другой параметр какого угодно типа (не связанного с первым), и вернуть значение третьего типа. Если подумаешь, то поймёшь, что настолько общих функций (с такой сигнатурой) в общем не так уж и много ;)
Ilya
Например, функция с сигнатурой a -> a всего одна, это id, потому больше делать с каким-угодно-типом собственно и нечего, кроме как вернуть входное значение
Alexander
@elemir90 маловероятно, с прошлых не было, во всяком случае доступных
Ilya
если нужен State, то из какого пакета брать? mtl или transformers?
Oleg
насколько мне известно, это один и тот же тип, а нужен ли тебе MTL - решай сам
Oleg
т.е. mtl юзает типы из transformers
Ilya
спасибо, значит возьму transformers
Ilya
как-то можно попросить х-ль автоматически вывести инстанс Num для произведения двух типов? гугл молчит, там только GeneralizedNewtypeDeriving, но он для newtype
Ilya
хочу так
data Prod = Prod Int Int deriving Num
Ilya
только вместе интов мои собственные типы, для которых уже есть Num
Ilya
наверное можно было бы завернуть кортеж в newtype, но блин для кортежей Num тоже не определён
Serghei
$ docker pull nginx
Using default tag: latest
Error response from daemon: error parsing HTTP 403 response body: invalid character '<' looking for beginning of value: "<html><body><h1>403 Forbidden</h1>\nSince Docker is a US company, we must comply with US export control regulations. In an effort to comply with these, we now block all IP addresses that are located in Cuba, Iran, North Korea, Republic of Crimea, Sudan, and Syria. If you are not in one of these cities, countries, or regions and are blocked, please reach out to https://support.docker.com\n</body></html>\n\n"
Serghei
к слову о любви к ms и экстремизме
Anonymous
я еще слышал, что в Крыму корпоративный gmail не работает, а обычный работает
Serghei
Причем здесь я или крым. Это может быть контейнер к кубе например. Не?
Serghei
Я вообще не из росии
Serghei
Нет конечно
Anonymous
можно
Anonymous
^N^k^o
Anonymous
У вас же вимы и имаксы в основном, так?
Andrew
так
Anonymous
А профессионалы?
Cheese
хочу так
data Prod = Prod Int Int deriving Num
я, например, не могу догадаться, какого поведения ты ожидаешь. почему компилятор должен догадываться?
Dmitry
да
Alexander
в основном - да