Size: a a a

PureScript — русскоговорящее сообщество

2020 April 10

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
пиши явно text
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Ну, так и делаю сейчас
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Просто хочется максимально заморочиться
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
так не пойдет) тебе же надо рекурсивное дерево одного типа, а "" никак не вписывается в это понятие
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
просто в хаскель за счет IsString и перегрузки строк можно представить строкой любую фигню
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
а тут у нас нет такого расширения компилятора
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Просто в TS можно <A, B>(A | B)[] написать
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
тс не настолько строг
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
у него типовых дыр полно
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Ну это да, я уже наткнулся, классное неявное приведение типов
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
тут очевидно ибо JSON.parse это any
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
кстати как и в каком-то хаскель это тоже не сразу тип будет, если инстансов для кодировщика не объявлено
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Ну, у меня в хаскеле подобных проблем не было
источник

VK

Vladimir Klntsky in PureScript — русскоговорящее сообщество
А в TS есть что-то типа аргонавта?
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
А кстати да если не писать FromJson инстанс тто это и ведь и будет any
источник

GP

Gleb Patsiia in PureScript — русскоговорящее сообщество
Вернее это будет JSON
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Gleb Patsiia
Вернее это будет JSON
что есть типа any
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
а вот если бы ты проанатировал userInfo: someType уже так не прокатило бы
источник

R:

Ryner :: () -> IO ❄️ in PureScript — русскоговорящее сообщество
Не уверен, но эта часть уже переписана
источник