KV
Вроде же можно кусочек проекта писать на PS и интеропить? Почему бы не так, например
Size: a a a
2020 April 23
p
Но это всё гонево, конечно. Без нормальной системы типов, это всё равно не тащит. Карго-культ, блин.
p
Вроде же можно кусочек проекта писать на PS и интеропить? Почему бы не так, например
Ну, тогда уже лучше всё на PS писать.
KV
Всё не всегда можно, а часть наверное всегда
p
Кусочек написать можно, но какой не понятно. + будет гемморный интероп.
p
Короче, полумеры это шляпа. Всё писать на PS нужно. Это вполне выполнимая задача. Проверено :)
p
А люди, которые стекляными глазами смотрят. Они научаться, если их перед фактом поставить. Скорее всего. :D
(
нет! проверено :(
p
Нет что? Не научаться?
(
угу
p
У нас, видимо, разный опыт.
p
Необучаемый программист уже обречен.
(
та тут за счастье если "программист". В основном вчерашние сейлзы, финансисты и т.д. переученнные на самопальных курсах для вайтишников
p
(λx.Me) Panda
та тут за счастье если "программист". В основном вчерашние сейлзы, финансисты и т.д. переученнные на самопальных курсах для вайтишников
Меняй контору.
ЗП
https://github.com/shamansir/purescript-fsm/blob/master/src/Data/Covered.purs#L14
почему нет ветки чисто для error?
почему нет ветки чисто для error?
AK
https://github.com/shamansir/purescript-fsm/blob/master/src/Data/Covered.purs#L14
почему нет ветки чисто для error?
почему нет ветки чисто для error?
Решил, что невозможное состояние, нужно чтобы всегда был fallback, в этом фишка.
ЗП
Решил, что невозможное состояние, нужно чтобы всегда был fallback, в этом фишка.
а так мог бы These использовать :D
AK
Оно, как и
Either как раз потому что нету фоллбека делает short-circuit и машина останавливается на ошибке, а так можно роллбечить, только вот запарно каждый раз передавать fallback, если do-нотация, и если не автоматизировать, то легко случайно передать не тот стейт.ЗП
я вот давно еще думал сделать что-то такое (профунктоная валидация)
type ChronicleV exc = ChronicleT (Variant exc)
newtype CheckV exc m i o = CheckV (Star (ChronicleV exc m) i o)
ЗП
ChronicleT c m a = (m (These c a))