Т8
Dollar Føølish
Ок, не так понял
Не парься, бери плюсы
Size: a a a
2020 March 05
p
Вопрос, что можно автоматизировать на программном уровне, когда на аппаратном все до предела автоматизивано
В
Ctrl d же
ты же говоришь что он через
// комментируетТ8
Там цена ошибки достаточно велика.
А реально ли, что найдутся желающие, которые реально будут на этом писать?
p
высота дерева растет как логарифм от количества элементов (офк если ты дерево нормальное берешь или обычное, но нормально его строишь).
Чтобы выбить стек тебе нужно 2000+ рекурсивных вызовов сделать, тогда в дереве должно быть 2^2000 элементов. Если каждый элемент возьмем по минимуму (4 байта, дерево юнитов), то тебе для хранения такого дерева понадобится 4,592e+602 байт
Чтобы выбить стек тебе нужно 2000+ рекурсивных вызовов сделать, тогда в дереве должно быть 2^2000 элементов. Если каждый элемент возьмем по минимуму (4 байта, дерево юнитов), то тебе для хранения такого дерева понадобится 4,592e+602 байт
Ок
T
ты же говоришь что он через
// комментируетну да
В
ну да
А как
/**/?DS
Т-34 85
А реально ли, что найдутся желающие, которые реально будут на этом писать?
Да, оно не настолько сложно как кажется.
T
по всей видимости, никак)
В
по всей видимости, никак)
да ну не может такого быть.
Вот тут к примеру говорят что хоткеи как в идее: https://forum.sublimetext.com/t/is-there-a-way-to-comment-out-multiple-lines/2442/3
Вот тут к примеру говорят что хоткеи как в идее: https://forum.sublimetext.com/t/is-there-a-way-to-comment-out-multiple-lines/2442/3
AZ
или если идти от обратного: сбалансированное дерево на 4 гигабайта будет иметь глубину 9
T
да ну не может такого быть.
Вот тут к примеру говорят что хоткеи как в идее: https://forum.sublimetext.com/t/is-there-a-way-to-comment-out-multiple-lines/2442/3
Вот тут к примеру говорят что хоткеи как в идее: https://forum.sublimetext.com/t/is-there-a-way-to-comment-out-multiple-lines/2442/3
а как в идее?
В
а как в идее?
> Ну в идее
^/ — коммент через //, а ^shift+/ — через /**/.Т8
Да, оно не настолько сложно как кажется.
Сколько сейчас умеющих есть от того, сколько надо? Хоть 5% есть?
Т8
Да, оно не настолько сложно как кажется.
@Psilon @DogeShibu почему golang изучают и идут писать прод?
DF
Потому что знают питон
G
Смотря для чего.
Выразительность связанную с типами в таких языка, можно очень много где потенциально применить. Делать более выразительные и безопасные библиотеки и т.д.
Именно верификация софта - смотря где. Опять-таки в играх и массовом десктопном софте - пофигу на неё вообще.
В ОСях, серверном софте, всяких смарт-контрактах и финтехе - она вполне может найти свое место.
Выразительность связанную с типами в таких языка, можно очень много где потенциально применить. Делать более выразительные и безопасные библиотеки и т.д.
Именно верификация софта - смотря где. Опять-таки в играх и массовом десктопном софте - пофигу на неё вообще.
В ОСях, серверном софте, всяких смарт-контрактах и финтехе - она вполне может найти свое место.
А почему бы не писать теоремы вместо тестов?
G
кмк, менее трудозатратно и получаешь сразу все сценарии доказываемые, а не тест
DS
А почему бы не писать теоремы вместо тестов?
Потому что доказательства могут быть не очень тривиальными, если мы говорим именно про зав. типы, а не refinement, где можно SMT солверы заюзать.
DF
Да, есть такая тема