Dr. Friedrich
Щя
Ayrat
Щя
да забей, я на прошлой посижу
Dr. Friedrich
Да ты-то сиди, окей
Dr. Friedrich
Ну то есть ничо плохого нету в том, чтобы подождать багфикса и пока посидеть на прошлом релизе.
Dr. Friedrich
А мне важно, чтобы в новой версии эту проблему починили :)
Ayrat
Понимаю. Но я бы для начала собрал статистику по юзерам, например @vshapenko
Ayrat
может это только я такой неудачник
Igor
Ayrat
Ayrat
только локальная навигация работает
Ayrat
которая в пределах скоупа
Igor
Ayrat
в новой только локальная пашет
Ayrat
но локальная навигация примерно 10% полезности
Igor
Хм, у меня по Empty не работает (я не знаю работало ли это раньше), а по типу работает
Ayrat
Ayrat
у меня типы в разных сборках, может в этом дело
Ayrat
емпти объявлен как расширение в другой сборке отдельно от типа
Ayrat
то есть сам тип не содержит Empty
Igor
Dr. Friedrich
Dr. Friedrich
Давайте ему поможем
Dr. Friedrich
Ему очень нужна наша помощь
Dr. Friedrich
Потому что он очень ебовый
Sergey
Dr. Friedrich
Расскажу историю.
Sergey
я про это если кто не понял
Sergey
31 января я написал о том, что ухожу из ЮФУ. Теперь появились новости о продолжении моей карьеры: я получил предложение присоединиться к JetBrains Research, где смогу плотно заниматься Хаскелем, а заодно продолжу преподавательскую деятельность. Это всё будет уже в Петербурге. Очень рад, что так получилось, огромное спасибо всем причастным!
Dr. Friedrich
Был у нас как-то icfpc
Dr. Friedrich
Я как раз устроился тогда в JB, ну и такой на пофиг давай поюзаю intellij-haskell
Dr. Friedrich
И половину ICFPC я, кароч, решал проблемы с его установкой и разворачиванием
Dr. Friedrich
А вторую половину ICFPC я ждал, пока он там десять тыщ раз переустановит alex, happy, ghc-mod и всю вот эту муру
Sergey
я когда трогал хаскель
больше времени искал что же за ошибка там
оказалось стак не поставил
Sergey
Dr. Friedrich
Ну нет, стак я поставил :)
Ayrat
да ну, бросьте вы хаскелем заниматься.
Ayrat
Лучше F# пилите
Dr. Friedrich
И чтобы ничего от нас непопиленным не ушло!
Dr. Friedrich
Анна
Igor
Sergey
Dr. Friedrich
JBR не ограничивается идеей и котлином если чо
Dr. Friedrich
Может, официальный плагин для Idris сделают? :)
Sergey
ну эт поннятно
но самое очевидное)
Sergey
Dr. Friedrich
Ну и вообще, JB Research — это реально больше не про разработку конкретных практических вещей, а про ресёрч
Dr. Friedrich
Необязательно с выхлопом в виде фишечек для IDE или языка
Igor
Sergey
Sergey
Ayrat
Igor
Ayrat
кому он нужен
Igor
кому он нужен
В смысле блет? Всем нужен, это же c# для jvm (да даже лучше)
Sergey
тут не везде джава 8 а ты уже на фп замахнулся
Sergey
Ayrat
Ayrat
про переписывание всего на хаскель
Sergey
переписывание тоже был сарказм 😊
Igor
писец ребят, держите сарказм-маркер
Igor
Sergey
Roman
Roman
Roman
Roman
Igor
https://marketplace.visualstudio.com/items?itemName=georgewfraser.fsharp-language-server
Dr. Friedrich
И поэтому меня в бюджетные организации вряд ли возьмут.
Dmitry
Начал читать Stylish F# и сразу такая дичь