AN
там еще и возможность ограничивать перемещения граждан без введения ЧС протащили)
Это де-факто уже давно есть. А вот то, что это "легальный" способ завхвата прилежащих терреиторий - это важно.
Size: a a a
2020 April 17
AD
Это де-факто уже давно есть. А вот то, что это "легальный" способ завхвата прилежащих терреиторий - это важно.
а каким образом захват?
AN
а каким образом захват?
Ну банально же. 2 мульена жителей братской республики получают гражданство и просят помощи против аггрессора в лице собственного правительства.
AN
Вообще, это все сделано, чтобы оккупацию Донбаса в правовое поле перевести. А то русские паспорта там уже раздают, а украинские не отменяют.
BP
нет, а что с ней не так?
Ну то что она будет обучать с++, хотя может она просто молодо выглядит, но я ей бы дал 25 максимум
VP
О, смотрите, что под шумок потащили: https://meduza.io/news/2020/04/17/gosduma-razreshila-poluchat-rossiyskoe-grazhdanstvo-bez-otkaza-ot-inostrannogo
Хм, а раньше так нельзя что ли было? 🤔
AN
Хм, а раньше так нельзя что ли было? 🤔
Формально нет. Другое дело, что мало кого это волновало
AK
Я тут подумал, а почему бы не написать embeded-язык,
на базе s-expression, но со стат типизацией на базе Х-М и row-полиморфизмом 🤔
Ну и с легким интеропом в хостовый рантайм.
И ограниченный по типу задач, как Elm
на базе s-expression, но со стат типизацией на базе Х-М и row-полиморфизмом 🤔
Ну и с легким интеропом в хостовый рантайм.
И ограниченный по типу задач, как Elm
базе s-expression, но со стат типизацией
типизированный лисп что ли?
core.typed был у кожуры, но чот взлетело
I
базе s-expression, но со стат типизацией
типизированный лисп что ли?
core.typed был у кожуры, но чот взлетело
Ну кложа это достаточно сложный язык общего назначения (лол), да и с макросами
AK
Ну кложа это достаточно сложный язык общего назначения (лол), да и с макросами
так может тебе это... голые s-выражения васма нужны?
(func (param i32) (param i32) (result f64) ... )
I
https://i.gyazo.com/067748a29d0d02fd645113f4380f277b.png
Да мне бы что-нибудь более высокоуровневое, с gc
Да мне бы что-нибудь более высокоуровневое, с gc
QH
https://i.gyazo.com/067748a29d0d02fd645113f4380f277b.png
Да мне бы что-нибудь более высокоуровневое, с gc
Да мне бы что-нибудь более высокоуровневое, с gc
а что делает бэктик?
ML
а что делает бэктик?
квотация же
I
а что делает бэктик?
Вообще-то это полиморфные варианты из ocaml,
это как adt тип-сумма, только не надо тип объявлять - тк он выводится
это как adt тип-сумма, только не надо тип объявлять - тк он выводится
I
квотация же
Не знаю что это 😏
QH
Вообще-то это полиморфные варианты из ocaml,
это как adt тип-сумма, только не надо тип объявлять - тк он выводится
это как adt тип-сумма, только не надо тип объявлять - тк он выводится
ЯННП 🌚
I
ЯННП 🌚
Ну про тип-суммы в курсе? (sealed в котлине)
ML
Вообще-то это полиморфные варианты из ocaml,
это как adt тип-сумма, только не надо тип объявлять - тк он выводится
это как adt тип-сумма, только не надо тип объявлять - тк он выводится
а эт не кложура?
I
а эт не кложура?
Это воображаемый s-exp язык
(не помню что бы в кложуре был паттерн-матчинг)
(не помню что бы в кложуре был паттерн-матчинг)
ML
Это воображаемый s-exp язык
(не помню что бы в кложуре был паттерн-матчинг)
(не помню что бы в кложуре был паттерн-матчинг)
кек