https://i.imgur.com/w54ATkB.png

это тип экзистенциальные типы?

охлол, в го нет генериков, а в расте есть и вы уже второй час сретесь о них

это тип экзистенциальные типы?

нет, это

))))

кажется в гугле что-то знают

кажется в гугле что-то знают

так они хотят добавить

вполне определённый тип, просто ты забыл о нём почти всё

о

а какой смысл тогда

в RFC рассматривают возможность использовать это в аргументах

там как-то больше есть смысл

а какой смысл тогда

потому что некоторые типы слишком большие, некоторые типы, вроде замыканий вообще известны только компилятору, а не тебе. Но наверняка​ если бы автор этого RFC появился в этом чате, вы бы и его обосрали

Автор rfc внезапно становится гением и у него нимб появляется?

Ты пришёл с тривиальнейшей идеей

Которая ещё и нужно раз в сто лет

Тебе пояснили, что альтернативы не так плохи, а где это реально надо — можно и ручками сгенерить и не надо в язык тащить это всё

Говорили они Будде

кстати, а hyper достаточно стабилен что бы писсать на нем свой бложег? (есть у меня такой пунктик, написать свой блог на http либе) ☺️

rocket

второй раз меня обвиняют в том, что я говорю, что что-то просто

а я опять не могу найти, где же я сказал, что это просто

Я предложил, сказав, что возможно это полезно. Но те господа, что решили со мной поговорить, сказали, что бесполезно

А про бездействие - так и есть. Мы ничего не меняем, когда пишем код. Только строим внутренний храм восприятия информации. Но этот код действительно может помочь людям ничего не делать

Или может помочь людям помогать людям ничего не делатт

в расте тоже кстати можно словить

Очень часто упоминается в презенташках про Idris или либы вроде refined

оверфлоу примитивов кстати в идрисе не сказать чтоб ловится

надо пилить финитарную арифметику

битвекторы всякие и иже с ними

по слухам перспективная тема

что такое финитарная арифметика?

http://www.kroening.com/papers/sttt-bv-2008.pdf

http://www.kroening.com/papers/sttt-bv-2008.pdf

есть статья про то, как отвечать на вопросы, к которым теоретически нет может быть статей?

wat

и что там говорится относительно этого вопроса

wat

попробовал уделать тебя по Гёделю-брадобрею. Не очень вышло

а, меташутки

https://twitter.com/steveklabnik/status/885894513507676160

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

У раста и так хлеба мало, а тут хомяки его грызут

Вот

Го в статик не умеет?

Оппа оппа

Как это

Драка

Именно. Или ностд для упоротых

Пустой он

https://github.com/emk/rust-musl-builder

Умеет

Пустой он

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

Ты невъебически умный сыч, крутишь фиджет-лямда кубы в уме и конструируешь квантовые компы. Знаешь 150 языков программирования, половину из которых сочинил сам. Он - женат, пара детей, знает ПХП, недавно выучил Го. У него есть работа, у тебя нет.

С докером не особо больше. Просто скрипт закинул и назвал cargo-static

И собираешь статику

Руками то если кросскомпилятор собирать то да — очень много гемора

То, что на русте можно нафигачить точно то же, что и на гошечке, не означает, что они конкуренты <_<. Затраты по времени и сложности будут разными, поддержка тоже потребует разных усилий Повторюсь, гошечка из того же мира, что и нода, пых, питоняша и прочее. Руст - это потенциальный плюсозаменитель и потенциальный джава-укротитель. Это пересекающиеся области, но не сильно, примерно как тяпка и экскаватор

Джава укротитель без рефлексии? о_О

О_о

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

Джава укротитель без рефлексии? о_О

С такими гарантиями тебе рефлексия не нужна

А если нужна, то есть any

ага рефлексия в джабке - это костыль, пушто там не оч с метапрограммированием (было до недавнего времени)

С такими гарантиями тебе рефлексия не нужна

эм

ага рефлексия в джабке - это костыль, пушто там не оч с метапрограммированием (было до недавнего времени)

Не только

ага рефлексия в джабке - это костыль, пушто там не оч с метапрограммированием (было до недавнего времени)

Я всецело против жабки, но рефлексия сильно упрощает всякие архитектуры с подгрузкой модулей на лету

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

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

Имхо неа. В лучшем случае джабка будет умирать ещё на легаси лет пятнадцать В худшем - корабли поколений будут управляться кодом поверх spring-boot, лол

жабку с жвм не мешайте, если язык шлак, то платформа вполне крутая

в чем проблема собрать бинарь в статике на расте? свои поделки только так и собираю

только это в ночных сборках, но это не напрягает

Ты невъебически умный сыч, крутишь фиджет-лямда кубы в уме и конструируешь квантовые компы. Знаешь 150 языков программирования, половину из которых сочинил сам. Он - женат, пара детей, знает ПХП, недавно выучил Го. У него есть работа, у тебя нет.

Ну и чо? js тут не хейтят

жабку с жвм не мешайте, если язык шлак, то платформа вполне крутая

+ Есть шикарный Kotlin и потенциал для реализации новых языков на платформе безграничен. Java не C++, Oracle заложили развитие экосистемы даже без Java как центрального языка.

ну на счет шикарности котлина спорно но языков почти на любой вкус, да

вроде даже идрис был

Оно лучше и современнее Java)

Оно лучше и современнее Java)

так про всё можно сказать кроме го))

идрис можно прицепить к чему угодно, там модульные кодогенераторы из TT-лапши

идрис можно прицепить к чему угодно, там модульные кодогенераторы из TT-лапши

что такое ТТ-лапша?

идрис это сахар над голым лямбда-исчислением с зависимыми типами, ADT и паттерн матчингом, конкретная разновидность которого названа Брэди TT

типа как DOT для скалы