K
2.11 нет библиотеки
Size: a a a
2020 February 16
K
может у тя локально
K
оно опубликовано?
A
спустя 14 лет после возникновения лиспа одновременно появились два ЯП - один для программирования программ, второй - для программирования ядра юникс
когда люди начали использовать язык для программирования ядра юникс для программ, им показалось что другой язык не может на самом деле существовать
ведь их язык такой новый, а уже такой отставший, поэтому они сказали, что это какой-то особенный исследовательский язык для программирования математики,
когда люди начали использовать язык для программирования ядра юникс для программ, им показалось что другой язык не может на самом деле существовать
ведь их язык такой новый, а уже такой отставший, поэтому они сказали, что это какой-то особенный исследовательский язык для программирования математики,
Для программ - это который?
K
@jey_lee Now, I'd propose we merge conditionally under the following proviso:
Before ZIO 1.0, we migrate LightTypeTag to the ZIO organization, and rebrand to ZIO TypeTag, with full credits to Izumi
I also understand LightTypeTag has some subtle typing differences w.r.t. TypeTag, and it would be useful to understand if they could impact the ZIO use case or not (and if so, to what extent).
Before ZIO 1.0, we migrate LightTypeTag to the ZIO organization, and rebrand to ZIO TypeTag, with full credits to Izumi
I also understand LightTypeTag has some subtle typing differences w.r.t. TypeTag, and it would be useful to understand if they could impact the ZIO use case or not (and if so, to what extent).
K
ты ток что запушил что ли?
Oℕ
Для программ - это который?
ML
Oℕ
я думаю дегуз зассыт мержить зависимость на изуми
Oℕ
т.е. если ты перенесёшь свои теги в ядро зио
K