Dv
Скалакод с имплиситами я вообще не пишу, потому что не очень люблю их :)
Size: a a a
2020 February 07
DS
Т.е. выше название имплисита не важно, т.к. там это не какой-то контекст а upper bound на тип
Dv
Т.е. выше название имплисита не важно, т.к. там это не какой-то контекст а upper bound на тип
Ну так и напиши
Dv
upperBoundNaTyp: …Dv
Но окей, возможно,
ev это уже достаточно конвенциальное названиеDS
Ну так и напиши
А смысл?
Если это же дальше записано типом и само название не используется в теле функции.
В том же Дотти можно будет в таких случаях имена имплиситов просто не указывать.
Если это же дальше записано типом и само название не используется в теле функции.
В том же Дотти можно будет в таких случаях имена имплиситов просто не указывать.
DS
Т.е. если бы название использовалось в теле функции, то это другое дело
DS
Там да
Dv
А смысл?
Если это же дальше записано типом и само название не используется в теле функции.
В том же Дотти можно будет в таких случаях имена имплиситов просто не указывать.
Если это же дальше записано типом и само название не используется в теле функции.
В том же Дотти можно будет в таких случаях имена имплиситов просто не указывать.
Смысл в том, чтобы читателю кода (мне вот) было понятно, на кой хрен там этот имплисит написан
Dv
Он может не использоваться по имени, но дальше передаваться
Dv
Ведь так оно работает?
DS
Смысл в том, чтобы читателю кода (мне вот) было понятно, на кой хрен там этот имплисит написан
Так тут по типу понятно
DS
Ведь так оно работает?
Ага.
Dv
Так тут по типу понятно
Я смотрю на тип
ZIO[R, E, A] <:< ZIO[R1, E1, Either[E1, B]], и мне из него вообще абсолютно ничего не понятно.DS
Я смотрю на тип
ZIO[R, E, A] <:< ZIO[R1, E1, Either[E1, B]], и мне из него вообще абсолютно ничего не понятно.<:< - это стандартный тип, определенный в стандартной библиотеке вместе с =:= и <%<
Dv
И это притом, что я посмотрел, что такое
ZIO[α, β, γ], и это мне (условно) ясно.Dv
Хотя про именование я продолжу вайнить всё равно.
АВ
Я пока что не готов в него поверить
Nemerle - no trust since 2006
КП
Nevmerle
DS
Мне кажется, что Влад слишком много фокусируется на разработке IDE, и из-за этого непосредственно компилятор получает слишком мало внимания
Имхо, это достаточно важно для языка, который очень много с макросами работает.
Т.е. посмотреть на тот же раст и как все варианты IDE для него страдают с тем, чтобы макросы хоть как-то работали.
Т.е. посмотреть на тот же раст и как все варианты IDE для него страдают с тем, чтобы макросы хоть как-то работали.