с#
Size: a a a
2020 November 16
(
нет, но я сильно подозреваю, что она несколько отличается от того с чем обычно имеют дело всякие академики
ну на, почитай https://kotlinlang.org/spec/type-system.html
AK
умных, которые дизайнами языков занимаются
теориями типов, множеств, вычислимости, вот этого всего
теориями типов, множеств, вычислимости, вот этого всего
академики мало понимают в промышленной разработке. тут ещё надо поместить очень тонкий вопрос:
какой из языков сделанный академиками взлетел?
языки на которых работают делаются обычно инженерами, а не академиками, начиная с си наверное, когда нужен был язык чтобы пилить юникс
какой из языков сделанный академиками взлетел?
языки на которых работают делаются обычно инженерами, а не академиками, начиная с си наверное, когда нужен был язык чтобы пилить юникс
А
ну на, почитай https://kotlinlang.org/spec/type-system.html
A is a subtype of B это место уже не очень понравится академикам(
A is a subtype of B это место уже не очень понравится академикамAM
так стало намного удобнее, ещё с eap 2020.2 вроде
потом когда в релизе на время спрятали под флаг (о котором я не знал) - то бесился от старого UI :)
потом когда в релизе на время спрятали под флаг (о котором я не знал) - то бесился от старого UI :)
Я просто обычно пользовался gitg внешним, а щас переехал на мак и решил попробовать делать это в идее. И пошёл нафиг тут же)
А
ты понимаешь, что формально описать систему типов - это ещё не всё?
А
можно систему типов какой-нибудь сишке также формально описать, но толку от этого больше не станет
(
академики мало понимают в промышленной разработке. тут ещё надо поместить очень тонкий вопрос:
какой из языков сделанный академиками взлетел?
языки на которых работают делаются обычно инженерами, а не академиками, начиная с си наверное, когда нужен был язык чтобы пилить юникс
какой из языков сделанный академиками взлетел?
языки на которых работают делаются обычно инженерами, а не академиками, начиная с си наверное, когда нужен был язык чтобы пилить юникс
Я спорить, разумеется, не буду, что нужно соблюдать баланс между академичностью и удобностью, но как минимум, сильная теоретическая основа позволяет избегать многих багов при реализации компилятора
(
ты понимаешь, что формально описать систему типов - это ещё не всё?
Я спорил с вот этим тезисом https://t.me/pofftop/254383
что у тебя ещё есть сказать меня не волнует
что у тебя ещё есть сказать меня не волнует
OY
Я просто обычно пользовался gitg внешним, а щас переехал на мак и решил попробовать делать это в идее. И пошёл нафиг тут же)
за последние 2 года, не через idea я только: удалял remote тэги(работало криво в idea) и делал сложный rebase, или типа того
остальное всё idea заменяет на все 146%
остальное всё idea заменяет на все 146%
А
Я спорил с вот этим тезисом https://t.me/pofftop/254383
что у тебя ещё есть сказать меня не волнует
что у тебя ещё есть сказать меня не волнует
но концентрируются они на фп языках и больше всего наработано как раз в этой области
AM
за последние 2 года, не через idea я только: удалял remote тэги(работало криво в idea) и делал сложный rebase, или типа того
остальное всё idea заменяет на все 146%
остальное всё idea заменяет на все 146%
Я когда-то делал пару подходов к интерактивному рибейзу в идее, но так и не научился им пользоваться.
OY
Я когда-то делал пару подходов к интерактивному рибейзу в идее, но так и не научился им пользоваться.
вот да, я об этом
А
к тому же котлин уже как язык спроектирован и даже реализован
А
чем тут академики то помогут?
AM
чем тут академики то помогут?
Ну уже спроектированный и реализованный хаскелль академики успешно меняют и развивают, к примеру.
OY
там ещё добавили работу с github прямо из idea - но вот это пока как-то не так чтобы прям привычно
но интересно
но интересно
А
Ну уже спроектированный и реализованный хаскелль академики успешно меняют и развивают, к примеру.
ну успешно или нет - это уже к хаскелистам вопрос
но нормальные рекорды, насколько я знаю, академики до сих пор не смогли впихнуть
но нормальные рекорды, насколько я знаю, академики до сих пор не смогли впихнуть
AM
там ещё добавили работу с github прямо из idea - но вот это пока как-то не так чтобы прям привычно
но интересно
но интересно
Ну тут у меня гитлаб, потому я разве что жду обещанного абстрагирования с разными централизованными гит-сервисами, о котором они когда-то говорили)