AM
У него есть два твитора -- полуживой англоязычный про хуцкель и около, и русскоязычный про политоту и цитирование без кавычек
Size: a a a
2020 June 14
AM
А ещё у него есть совсем мёртвый русскоязычный канал в телеге о том же, о чём англоязычный твитор.
AM
В общем, приоритеты он разметил хорошо))
(
Хехе boy
Measured uses Kotlin's type system to enable compile-time validation. This works really well in most cases, but there are things the type system currently does not support. For example, Units and Measures are order-sensitive.
Measured uses Kotlin's type system to enable compile-time validation. This works really well in most cases, but there are things the type system currently does not support. For example, Units and Measures are order-sensitive.
AN
Хехе boy
Measured uses Kotlin's type system to enable compile-time validation. This works really well in most cases, but there are things the type system currently does not support. For example, Units and Measures are order-sensitive.
Measured uses Kotlin's type system to enable compile-time validation. This works really well in most cases, but there are things the type system currently does not support. For example, Units and Measures are order-sensitive.
Ну оно действительно типо-безопасно. Вопрос оптимизации рантайма.
(
Ну оно действительно типо-безопасно. Вопрос оптимизации рантайма.
Да нет, я про
UnitProduct<A, B> !~ UnitProduct<B, A>AN
Да нет, я про
UnitProduct<A, B> !~ UnitProduct<B, A>И чо?
AN
Ты знаешь, где это можно обойти?
(
Ты знаешь, где это можно обойти?
Ну, например в одном языке, название которого начинается на Х
AM
Ну, например в одном языке, название которого начинается на Х
Ну щито поделать, хотлин пока не изобрели
AN
Ну, например в одном языке, название которого начинается на Х
Интересно, как? Равенство типов есть равенство типов. Ты не заставишь компилятор понимать, что порядок не важен
AN
Ну щито поделать, хотлин пока не изобрели
изобрели. Arrow
AN
хотя он скорее sKotlin
AM
изобрели. Arrow
Но это же и рядом не хуцкелль
AM
хотя он скорее sKotlin
"скотлин" -- это хорошо, да.
AN
"скотлин" -- это хорошо, да.
Мне самому понравилось :)
(
Интересно, как? Равенство типов есть равенство типов. Ты не заставишь компилятор понимать, что порядок не важен
У меня есть пара мыслей, надо попробовать
Через тайп фемели или через Coercible
Через тайп фемели или через Coercible
ML
Так то, хороший экзампл со статьями для ооп-шников и объяснениями почему это лучше, гораздо эффективнее будет продавать чем набросы в чатиках 🤷♂
для того чтобы клепать статьи нужно обладать особым складом ума
AM
для того чтобы клепать статьи нужно обладать особым складом ума
Да :(
AM
Как там блог, кстати?))))