to post messages and comments.

Чего-то у меня мозг вытекает уже через уши. Расскажите почему происходит то, что происходит, а?

type family Migratable (rs :: [RevPair]) :: Constraint where
Migratable (rp1 ': '[]) =
( TopLevel (GetSchema (Head (rp1 ': '[])))
, Known (Sing (GetSchema (Head (rp1 ': '[])))) )
Migratable (rp1 ': rp2 ': tl) =
( Known (Sing (GetSchema (Head (rp1 ': rp2 ': tl))))
, MigrateSchema
(GetSchema (Head (Tail (rp1 ': rp2 ': tl))))
(GetSchema (Head (rp1 ': rp2 ': tl)))
, TopLevel (GetSchema (Head (rp1 ': rp2 ': tl)))
, Migratable (Tail (rp1 ': rp2 ': tl)) )

parseAndValidateRevPairs
:: forall proxy rps
. ( Known (Sing (GetSchema (Head rps))), Known (Sing rps), Migratable rps )
=> proxy rps
-> J.Value
-> ParseResult (JsonRepr (GetSchema (Head rps)))
parseAndValidateRevPairs _ v =
let
rss :: Sing rps
rss = known
stv :: Sing (GetSchema (Head rps))
stv = sGetSchema $ sHead rss
stl :: Sing (Tail rps)
stl = sTail rss
in case stl of
SNil -> parseAndValidateJsonBySing stv v
SCons _ SNil -> parseAndValidateJsonBySing stv v
SCons (SCons _) -> migrate <$> parseAndValidateVersionedJsonByVersions stl v

error:
• Could not deduce (MigrateSchema
(GetSchema n0) (GetSchema (Head rps)))
arising from a use of 'migrate'
from the context: (Known (Sing (GetSchema (Head rps))),
Known (Sing rps),
Migratable rps)
bound by the type signature for:
parseAndValidateRevPairs :: (Known (Sing (GetSchema (Head rps))),
Known (Sing rps), Migratable rps) =>
proxy rps
-> Value
-> ParseResult (JsonRepr (GetSchema (Head rps)))
at /Users/dr/workspace/schematic/.stack-work/intero/intero26044q4W.hs:(124,1)-(129,50)
or from: Tail rps ~ (n0 : n1)
bound by a pattern with constructor:
SCons :: forall a0 (z0 :: [a0]) (n0 :: a0) (n1 :: [a0]).
z0 ~ (n0 : n1) =>
Sing n0 -> Sing n1 -> Sing z0,
in a case alternative
at /Users/dr/workspace/schematic/.stack-work/intero/intero26044q4W.hs:141:5-23
or from: n1 ~ (n2 : n3)
bound by a pattern with constructor:
SCons :: forall a0 (z0 :: [a0]) (n0 :: a0) (n1 :: [a0]).
z0 ~ (n0 : n1) =>
Sing n0 -> Sing n1 -> Sing z0,
in a case alternative
at /Users/dr/workspace/schematic/.stack-work/intero/intero26044q4W.hs:141:14-22
• In the first argument of '(<$>)', namely 'migrate'
In the expression:
migrate <$> parseAndValidateVersionedJsonByVersions stl v
In a case alternative:
SCons (SCons _)
-> migrate <$> parseAndValidateVersionedJsonByVersions stl v

Ханжеская атака на "пропаганду" "информация, наносящую вред", отлитая в законодательном грание — это же симптом одурения страны. Буквального — утрата способности понимать сколько-нибудь сложные причинно-следственные связи и смыслы. Маразм, деменция.

Те, кто читал книгу "Русская модель управления" знают, про принципиально неконкурентное устройство русского менталитета и социума — это главная общественная и государственная черта, из которых растут прочие беды и проблемы.
Так вот. Недавнее правительственное сборище констатировало, что за 20 реформ ситуацию поменять не удалось. Вместо конкуренции развились монополии. Государство не смогло обеспечить конкурентность, то есть по сути не справилось с основной своей задачей в экономике. Это серьезный, очень серезный фейл. Печальные выводы делайте сами.
Пруфы: gazeta.ru
slon.ru

Хахаха. Похоже ливень, стремительно начавшийся вчера за четверть часа до начала шествия, не был случайным. Сам вчера с одним мужиком поржал по этому поводу, однако химанализ показал наличие йодида серебра:
ilya-ponomarev.livejournal.com
Ну так пора уже : климатическое нанооружие — это же достижение и ассиметричный ответ!

Желающие запретить "пропаганду секса среди несовершеннолетних" — чудовищно безмозглые выродки и ублюдки. ПГМнутые совки. Мотив: "оградить детишек от вредного". Уроды, млять. В традиционном крестьянском обществе дети росли, постоянно присутствуя при сексуальных отношениях взрослых. В избе на одном сундуке спали дети, на печке — бабушке дедушки, а на кровати трахались их родственники фертильного возраста. Неужели им это непонятно?

Индия только что успешно запустила баллистическую ракету под ядрёну боеголовку, в зоне досягаемости которой вся территория России. Иии никакого беспокойства по этому поводу, ни малейшего... А за месяц до этого Индия отказалась от закупки российского вооружения. Ойй, никому ни сцыкотно?

Зато какой крик о нарушении стратегической стабильности со стороны американской ПРО, противоракеты которой в количестве 30 штук, вообще никакой угрозы российским МБР не представляют, так как не способны их сбивать в принципе.

Сегодня в России, на основе архаичной сырьевой модели экономики, построено уникальное, феодальное государство 21 века, с присущими только ему институтами: условного держания собственности, условной политической конкуренции, условными государственными институтами и т.д. Именно «нефтяное проклятие» позволяет содержать раздувшееся как клещ государство, кормить огромный репрессивный аппарат. Сегодня понятно, что при падении мировых цен на углеводородное сырье, в России разразится невиданный по масштабам политический кризис.
publicpost.ru

Трасса Москва-Санкт-Петербур, село Едрово. Там единственный на М10 железнодорожный переезд. Со шлагбаумом, однополосный, в 21-ом веке, на федеральной трассе.
И он разбит так, что фуры и автовозы проезжают его буквально переставляя колеса. В результате образуется огромная пробка из дальнобоев: вчера со стороны Москвы было не менее 15 км, со стороны Петербурга — около семи. То есть грузовики стоят по 2-4 часа на дороге с самым большим грузооборотом в стране.

Да здравствует наша непобедимая страна. Мы настолько велики, что можно совсем не подключать мозги, а только пилить. Есть такой сайтик — nalog.ru Там можно узнать все задолженности по номеру ИНН. И есть напоминалка ИНН, которая выдает ИНН кому угодно. Просто вбиваем паспортные данные. Подробности по ссылке spokuhin.livejournal.com

заказал тут койчего. жду, значит. звонит курьер.
— адрес такой-то?
— да.
— у вас лифт работает?
— нет, дуй на 9 этаж пешком.
— вы знаете, вообще то в наши обязанности это не входит, но так и быть, сейчас поднимусь
— ... О_О

Это, блджад, доставка лично в руки. Совсем охренели уже. Никто работать не хочет