Маjко
Обещали до конца 2017
Маjко
До сих пор нет, судя по issue даже до найтли-фичгейта еще далеко
Cuno
Обещали до конца 2017
Даже на 2018 не обещают:
This feature is likely to land in nightly in 2018, but will not be ready to stabilize this year given the substantial work that remains
Vladimir
Крутяк
Vladimir
У нас метро в городе примерно так же строится
Антон
Чёрт, с ними, с const generics. Когда будут хотя бы найтли HKT?
Vladimir
Ха-ха
Vladimir
В 2021ом жди
Cuno
Чёрт, с ними, с const generics. Когда будут хотя бы найтли HKT?
Не скоро. Крайне маловероятно, что в 2018 завезут.
Cuno
Вроде в core team считают, что оно нинужно, по крайней мере, пока что.
分解物質
Чёрт, с ними, с const generics. Когда будут хотя бы найтли HKT?
и что с этим потом будеш делать?
Антон
Вроде в core team считают, что оно нинужно, по крайней мере, пока что.
Ну просто возможность эмулировать hifher-kinded polymorphism есть и сейчас, но это требует просто адового бойлерплейта
分解物質
хаскель специально для этого есть
Антон
А вообще, польза от HKT такая же, как и от многих абстракций — уменьшение дублирования кода.
Loyd
Loyd
Один макрос )
Loyd
А HKT не нужен в расте, лишнее переусложнение
分解物質
А вообще, польза от HKT такая же, как и от многих абстракций — уменьшение дублирования кода.
а потом будут ждать хескеле-шаблонов потому что HKT окажется недостаточно чтобы абстрагировать их абстрактные монады-трансформеры
分解物質
потом ещё захотят это припорошить хаскеле-ексцепшенами
Loo
А HKT не нужен в расте, лишнее переусложнение
Верно, Раст как гошечка, простой как палка. Не нужно переусложнять
Loyd
Да вы, батенька, максималист
Loo
а потом будут ждать хескеле-шаблонов потому что HKT окажется недостаточно чтобы абстрагировать их абстрактные монады-трансформеры
То чувство когда не знаешь что такое монадо трансформеры
Danila Matveev
трансформеры для упрощения кода нужны, но есть мнения, что несмотря на сокращения портянок и лесенок восприятие падает (придерживаюсь сам такой позиции)
Danila Matveev
неявность и неоднозначность появляется
Sr
Весь мир: Мы не можем посчитать ряд 1+2+3+... Он расходится и уходит в бесконечность! О "Математики" помогите нам!
Математики: Вам надо посчитать сумму ряда?
Весь мир: ДА!
Математики: c = 1+2+3+...
Весь мир: 😒
<Спустя время>
Математики: На ЛАААДНО! c = 1+2+3+... = - 1/12
Весь мир: 😩😧😲😵
Loyd
xd
でゲソ
Лол
でゲソ
Чертовы струнисты
Loyd
А причем тут струнисты?
Loyd
Рамануджан жил, когда никакой теории струн не было
Matwey
でゲソ
А причем тут струнисты?
Потому что это значение использовали только в каких-то моделях теории струн
Evgenii
Потому что это значение использовали только в каких-то моделях теории струн
в математике куча вещей вообще нигде не используется кроме самой математики)
でゲソ
Что не мешает мне катить бочку на струнистов, у которых все равно толком ничего не сходится
Loyd
И даже при этом у них более странная теория устройства мира, чем у тебя, лол
でゲソ
Да я вроде теорий устройства мира и не публиковал
Cat
Потому что это значение использовали только в каких-то моделях теории струн
А ссылочку можно? Любопытно
doc
Весь мир: Мы не можем посчитать ряд 1+2+3+... Он расходится и уходит в бесконечность! О "Математики" помогите нам!
Математики: Вам надо посчитать сумму ряда?
Весь мир: ДА!
Математики: c = 1+2+3+...
Весь мир: 😒
<Спустя время>
Математики: На ЛАААДНО! c = 1+2+3+... = - 1/12
Весь мир: 😩😧😲😵
Вообще-то это не то суммирование, к которому мы привыкли. Для расчета суммы этой расходящейся последовательности используется другая операция, не как в классических сходящихся последовательностях, хотя оба результата называют суммой ряда
doc
Назовите -1/2 результатом применения некой операции к ряду и проблемы с неинтуитивностью этого результата отпадут
Sr
Вообще-то это не то суммирование, к которому мы привыкли. Для расчета суммы этой расходящейся последовательности используется другая операция, не как в классических сходящихся последовательностях, хотя оба результата называют суммой ряда
Это конечно да)) но в каком то смысле решение этой задачи математиками напомнило мне "параллельные линии в форме котенка", или даже ответ 42 на вопрос вселенной жизни и вообще))
Когда есть постановка как она есть, и от тебя ждут ответа))
Sr
Конееееечно в математике все строго и это сложение было сделано по определённым и крайне сложным правилам.
Но тем не менее ответ ошарашивает)
doc
У математиков, физиков, как и у программистов, тоже проблемы с наименованием))
Evgenii
У математиков, физиков, как и у программистов, тоже проблемы с наименованием))
ну обычно проблемы у неофитов только
Evgenii
на самом деле (с) все удобно и логично
Sr
У математиков, физиков, как и у программистов, тоже проблемы с наименованием))
Чем-то их попытки не плодить новых обозначений похожи на попытки впихнуть в стандарт с++ ещё больше модных фишечек.
Язык становится все менее и менее однозначным
doc
ну обычно проблемы у неофитов только
Не. Вот ща честно не вспомню, но с пяток законов физики, которые в универе проходили, названы уж больно неправильно. Настолько неправильно, что вводят в заблуждение. Даже препод иногда на этом внимание акцентировал
でゲソ
В вики вроде была
Roman
а есть креш-курс по rust? )
Vladimir
https://fosdem.org/2018/schedule/event/rustdebug/
Vladimir
там трансляция
Vladimir
доклад ща начнется
Vladimir
(jfyi)
Vladimir
записи они тоже потом обещали
Vladimir
точнее как
Vladimir
как выступавший отревьюит
Vladimir
они в день выступлени ссылки выступающим высылают с просьбой поревьюить. С момента ревью на сайте запись появляется в течении 2-3 часов
Vladimir
они ж некоммерческие
Vladimir
бесплатные
Vladimir
чо им
Evgenii
хз в прошлом году долго видосов не было
Vladimir
я свое отревьюил и через день оно уже было доступно
Vladimir
вроде бы
Vladimir
(ну я так запомнил впрочем)
Vladimir
а чо, в расте все правда так плохо с дебагом как говорит чувак?
Loyd
Ну, print! есть и достаточно
Vladimir
Оно и понятно)
Bugworm
а че, в расте дебаг есть?
kitsu
Tim
в visual studio отладчик работает, в intelij idea вроде в этом году появится
Bugworm
венда, фе
Marat
В vscode тоже работает
Marat
Только тесты дебажить нельзя