Крылатый
Верилог.
Евгений
Agda
Крылатый
Пролог тут не трогают — он идеален.
Sherzod
Паскаль уже успели, я помню вчера было
Крылатый
Идеальней только лисп.
Sherzod
Крылатый
Не знаю(
Мерль
Мерль
Хотя, учитывая, что он тьюринг полный, то может
VCL
Евгений
Тут вопрос не в полноте, а в списке поддерживаемых побочных эффектов
Мерль
Надо сказать, что про параконсинстентную логику я знаю только то, что в ней не используется закон "исключенного третьего"
分解物質
Sherzod
Kerrigan
ееее, зигоморфизмы
Danila Matveev
грустно
творчество из людей лезет наружу, но вылезает из задницы
Danila Matveev
никакой эстетики
分解物質
да, переборщил с баззвордами
Danila Matveev
не, я про кривость рук
Filipp
это просто такой стиль. называется madskillz
Sherzod
Праилна, в хаскеле всё должно быть красиво!
分解物質
Filipp
分解物質
Filipp
треш это тоже отстутсвие стиля?
Danila Matveev
треш слишком общее слово, он разный бывает
Danila Matveev
лан, фиг с ним со вкусовщиной
Danila Matveev
почему си а не раст?
分解物質
Sherzod
в расте лайфтаймы, это не по машиннокодерски
分解物質
分解物質
分解物質
они же просто автоматически расставленные free()
Alex
kodx
что вы на кресты наезжаете, вполне нормальный язык, если не использовать исключения, темплейты ... и классы по желанию
kodx
еще одна область, где до сих пор востребованы си и с++ это пентестинг, ничего более подходящего пока нет
хотя я пробую что-то под раст для этой области делать, но дальше проб дело пока не идёт
Poplav
Sherzod
CPP хорош когда его не используют?
kodx
Получается плюсы годные, если писать на С
по работе пишу на с++, но не могу использовать STL(потому что размер выходного бинарника большой), в итоге отказался от исключений и классов, код вполне понятный остается, но в с++ есть некоторые синтаксические поблажки, которые приятно использовать (определение счетчика прямо в for и т.п.)
kodx
с++11 тоже не могу использовать, потому что часто надо компилировать под visual studio 2006
Poplav
Loo
Loo
мы определяли счётчики как могли
Poplav
лол
Poplav
никогда не натыкался на чужой код?
kodx
никогда не пробовал писать чисто под си, скорее так
doc
На самом деле смешно читать о таких проблемах тем, кто не пишет на плюсах
Poplav
писал на плюсах, потом на го, сейчас на расте, и каждый раз чего-то нехватает
kodx
уже писал, что статический бинарь с хелловорлдом на расте под венду с upx это 82Кб, пока многовато
kodx
написал свою частичную реализацию std::string, в итоге статические бинарники только с моей либой 3Кб, работаю на всех вендах начиная с 7й (и скорее всего с ХР тоже, не проверял)
Sherzod
щито? тебе бинарник под вендой в 3кб так важен?
kodx
это на крестах
такие размеры в расте пока невозможны
хотя если попробовать переписать стандартную библиотеку раста на winapi-шные вызовы, то, вероятно, можно сильно уменьшить размер выходного бинарника
պլհկ
Petya.exe
分解物質
kodx
мне это критично важно, работаю в пентесте
Loo
kodx
Petya.exe
вот не надо, я к этой гадости отношения не имею
скорее я пишу утилиты, чтобы подобное отлавливать
պլհկ
Poplav
@kodx0 https://lifthrasiir.github.io/rustlog/why-is-a-rust-executable-large.html
Dmitry
Лул
А я подсознательно начинаю подозревать каждого, кто говорит о размерах бинаря. Сразу кажется что чел либо блэк, пишущий малварь, ну или под встраиваемые системы кодит. Честно не знаю, где ещё размер бинаря является проблемой
Судзумия
Ты, Валерий, спамер, я чую
Sherzod
Valeriy
kodx
Лул
А я подсознательно начинаю подозревать каждого, кто говорит о размерах бинаря. Сразу кажется что чел либо блэк, пишущий малварь, ну или под встраиваемые системы кодит. Честно не знаю, где ещё размер бинаря является проблемой
в компании есть штат пентестеров, которым надо показать клиенту, где могут быть проблемы, для работы им нужные специфичные утилиты, чтобы доказать, что есть уязвимость
покупать готовые крутые решения дорого, поэтому мы пишем небольшие заглушки, только чтобы доказать, что система уязвима
Poplav
Dmitry
Sherzod
kodx
по поводу no_std
не хотелось бы отказываться от стандартной библиотеки, потому что в итоге придётся делать нечто подобное руками, даже если частично
вообще 80Кб не такой уж большой размер
Судзумия
Евгений
Sherzod