G
Но результат зато того стоит
Size: a a a
2020 March 25
p
Внутреннего диктора вырубить нелегко, кстати
кого?
G
Ты когда читаешь текст, проговариваешь про себя?
p
да
G
Это замедляет процесс чтения
p
G
Можешь на начальном этапе петь хорош знакомую песню, потом постараться просто тихо в голове читать, не проговаривая
p
хочу читать type driven development, но заставляют создавать DNS на WinServer :(
G
Мне из прошлой работы по поводу C# написали, кстати
G
Может летом поработаю
p
G
Интересно, есть ли теорем пруверы на C#
G
Ну в крайнем случае можно type-driven development применять кастрированный
G
Мне просто интересно смогу ли я их убедить использовать типчики
G
Вроде все аргументы против типов я слыхал в оффтопике и они все никчёмные
p
Интересно, есть ли теорем пруверы на C#
вижу биндинги к .NET Z3
G
вижу биндинги к .NET Z3
Может я не так выразился, я хотел сказать "можно ли теоремы формулировать в C#, как в ACSL"
D
может гарантировать если ненадо так, делать кроме бесед
p
Может я не так выразился, я хотел сказать "можно ли теоремы формулировать в C#, как в ACSL"
думаю что вряд ли, и тебе не дадут в работе егоо юзать)
G
Хотя бы типчики