V
курс Москвина на степике, Learn You a Haskell for Great Good!
Про второй слышал лестные отзывы, спасибо, чекну
Size: a a a
2020 June 09
SP
в будущем когда тип будет следовать за переменными и изменения стейта будут типизированны без уродливых фантомных типов - такая эвристика аля тс на максималках - все резко перестанут кукарекать за фп
e
в будущем когда тип будет следовать за переменными и изменения стейта будут типизированны без уродливых фантомных типов - такая эвристика аля тс на максималках - все резко перестанут кукарекать за фп
Ого
DS
SP
нет не будет если не анврапить до последнего
e
Будет в той схеме, что @enomad предлагал.
А смысл форвардать смс
Покажи код лучше
И посмотрим на джампы
Покажи код лучше
И посмотрим на джампы
SP
ты уверен что ты понял доги и меня?
e
Тебя не вчитывался
SP
так доги мне отвечал
SP
ну по сути я просто предлагаю запретить юзать f64 как юзер-френдли тип и считать его зашкварным, и на юзерлевел выводить какойнибудь NonNaN
SP
тоесть вы долбитесь себе там нанами, пропагейтите их, а на результате я сделаю NonNaN::parse() и все
e
Ай короче
e
Че я мозг себе засоряю а то рил голова от срача болит
ГС
мне же кажется что фп это способ выжать из типов все, в силу того что минимальная единица изменения типа это функция
прикладное фп всё-таки преследует другие цели, чем построение математических доказательств
SP
прикладное фп всё-таки преследует другие цели, чем построение математических доказательств
какие? я и не говорил про доказательства
ГС
тогда я не совсем понял, что значит "выжать из типов"
SP
выжать из типов у меня значит просто заставить их на тебя работать. т.е. энкодить стейт подробнее, запрещать больше и тд
e
Нука
Осталось теперь асинк авейт прикрутить в си и будет хорошо
Осталось теперь асинк авейт прикрутить в си и будет хорошо
SP
а прикладное фп это фп ради фп, да
DS
тоесть вы долбитесь себе там нанами, пропагейтите их, а на результате я сделаю NonNaN::parse() и все
Ну и проблема у тебя будет в том, что операция деления у NonNaN будет возвращать в результате обычный флоат