(
ещё не завтипы, но уже что-то
Size: a a a
2020 July 24
AN
какие корнер кейсы есть у дженериков?
Напиши синтаксис для контактов на конструкторы. Там есть несколько вариантов, как их сделать. И у них есть свои плюсы и минусы. Вариант "как в C#" не предлагать. Там убого.
AN
Правда, напиши, польза будет. И Keep сделай
(
Напиши синтаксис для контактов на конструкторы. Там есть несколько вариантов, как их сделать. И у них есть свои плюсы и минусы. Вариант "как в C#" не предлагать. Там убого.
А как в C#?
fun <F<_>>
AM
ещё не завтипы, но уже что-то
Так они ж систему типов не меняют, они, насколько я понимаю, просто умеют вклинивать в нужных местах мапперы.
AN
А как в C#?
fun <F<_>>
Там отдельный синтаксис для контракта на пустой конструктор.
ML
IO
Но если бы они были, у Ильмира было бы меньше работы
честно говоря, я не понимаю, что дадут тайпклассы при работе с джавовой библиотекой. более того, сейчас кодген котлина больше чем наполовину на джаве
ML
https://spectrum.ieee.org/static/interactive-the-top-programming-languages-2020
Я вам тут бензина в огонь бессмысленных споров принес
Я вам тут бензина в огонь бессмысленных споров принес
F# > Haskell, так-то
(
Так они ж систему типов не меняют, они, насколько я понимаю, просто умеют вклинивать в нужных местах мапперы.
вроде заставляют компилятор паниковать, если ты грязный тип передаешь
AN
F# > Haskell, так-то
Это кстати хорошо
IO
Это кстати хорошо
почему?
(
честно говоря, я не понимаю, что дадут тайпклассы при работе с джавовой библиотекой. более того, сейчас кодген котлина больше чем наполовину на джаве
да бог с ними с тайпклассами, нам бы HKT
AN
почему?
Потому что развитие
(
почему?
Александр состоит в культе "против культистов"
AN
Александр состоит в культе "против культистов"
Точно!
IO
да бог с ними с тайпклассами, нам бы HKT
да что Ильмиру даст HKT, если он пишет, как правило на джаве и юзает для генерации либы на джаве?
AN
Я бы лучше не сформулировал
BP
да что Ильмиру даст HKT, если он пишет, как правило на джаве и юзает для генерации либы на джаве?
К него будет скала котлин 2.0
BP
И все - багов нет