AB
да я и тестов сверх необходимого не пишу, вроде
Size: a a a
2021 May 18
AP
даже если ты обмазался теоремпруферами, не факт что это тебя спасет от необходимости написать тесты
ع
/spam
Е
А статическая типизация не контракт что ли? 😂
AB
да чот хз. у тебя всё равно по краям системы творится какая-нибудь не очень типизированная дичь, типа json-in, json-out
Е
Полностью избежать не удастся, конечно. Но какую-то часть проблем решит.
Я еще рад что все-таки компилятор отлавливает арность функций и само наличие функций, без этого все становится еще хуже
Я еще рад что все-таки компилятор отлавливает арность функций и само наличие функций, без этого все становится еще хуже
Е
Мне лично не хватает не самой системы типов, а того самого контракта, которая она дает. Эдакий идеальный диалайзер.
AB
опять же, всякие data-driven вещи, типа описания схем - ты либо плодишь уйму adt под них, либо просто в итоге кладешь болт на саму идею типов в этом месте
Е
Кстати, вот так выглядит примитивный обмен сообщениями между двумя потоками в D:
https://run.dlang.io/is/rASrMd
https://run.dlang.io/is/rASrMd
Е
Кстати автор
std.concurrency явно был под впечатлением ОТП эрланга. Все очень-очень похоже.Е
Только не легковесные процессы, а реальные потоки ОС.
LL
А есть послать сообщение, которое поток не умеет
receive-ать, то что?Е
Можно либо сделать обработчик таких сообщений, без собственно доступа к содержимому сообщения. Либо схлопотать исключение и что-нибудь сделать, например упасть.
Е
В D есть и легковесные зеленые потоки с подобной же системой.
Е
Хотя вру можно левое сообщение в Variant получить и с помощью RTTI в рантайме понять, что за говно пришло.
LL
То есть тут нет
Типа, если я жду сообщение
selective receive, так?Типа, если я жду сообщение
A, а ко мне приходит B, то мне нужно будет его обработать, так?SZ
Поцоны, пишу на компилируемом языке, сосу жепу постоянно :(
Не получается писать динамические опердени, постоянны сегфолты ловлю
Не получается писать динамические опердени, постоянны сегфолты ловлю
Е
есть, обычный
receive ничего не будет делать с такими сообщениями, они останутся лежать в очереди.LL
А, ну и чем тут статическая типизация сообщений отличается от эрланговской?
Е
На таком низком уровне нет особой разницы. Но на более высоком, вроде генсерверов и просто всяких функций, профит будет.