G
Я люблю ибаться с доказательствами. Но я не показатель, я и с макросами сишными люблю 🤡
Size: a a a
2020 June 09
ЕС
К тому же в нем линз нет, и вряд ли они появятся скоро, так как ужить линзы с зависимыми типами не так уж просто, видел только одну реализацию
EG
А ебаться никто не хочет, поэтому мне не особо понятно чем тебе Идрис так понравился
Концецией
ЕС
Концецией
Ну вот и хорошо, пусть он останется где-то там как концепция, а нормальные люди (не математики) сделают язык для людей
B
Чето как странно
Потом у себя попробую собрать
Потом у себя попробую собрать
хм, таки на стооне васма большая часть времени, а не пр имаршалинге, марашилинг вобще быстрый
DS
значит запретить им деление
Не только деление, там чуть больше операций которые приводят к Nan/+Inf/-Inf
SP
Не только деление, там чуть больше операций которые приводят к Nan/+Inf/-Inf
ну пусть будет не только )
DS
ну пусть будет не только )
Сложение может привести тоже к NaN, если что
DS
Так что такая схема будет работать так себе
SP
ладно тогда все запрещаем
DS
ладно тогда все запрещаем
Т.е. вот простой пример:
(-MIN_VALUE - MIN_VALUE) + (MAX_VALUE + MAX_VALUE)
(-MIN_VALUE - MIN_VALUE) + (MAX_VALUE + MAX_VALUE)
С
С
ЕС
КВ-2?
С
КВ-2?
Нет. Это наш T-34
ЕС
Т-34 совсем другую башню имели)
С
Т-34 совсем другую башню имели)
У нашего Танка именно такая
G
Я интроспекцию в Си завёз
AZ
Я интроспекцию в Си завёз
ну и школьники пошли
VS
как раз чтобы ловить такую хуйню
