The Wacky Yellow Dog Shibu

Или про point речь?

Но вопрос - ты уверен, что у тебя там кэшмиссы сейчас есть?

Так, у меня новая задачка для знатоков. Есть такой вот код с кучей associated типов, проблема в том, что хочется как-то убедить раст, что non_empty_somethings_ids, никак не ...

Кто-нибудь может подсказать, есть ли какие-то заранее собранные nightly версии ghc собираемые из его master'а, так чтобы было легко их со stack'ом использовать? Т.е. я знаю,...

Может кто подсказать насколько сейчас const дженерики готовы? Можно их использовать для того, чтобы хранить как число на типе, чтобы в нужный момент спустить его на уровень ...

Тогда должно работать. Как минимум, вне макропроблем у меня такие ошибки не встречались. Можешь попробовать переоткрыть CLion, может помочь. А с каким крейтом проблема?

Какие есть хорошие крейты с concurrent hash map в расте? Нашел ev-map, concache, chashmap и ccl. Какие-то хорошие варианты ещё есть?

А в чём проблема её описать? В скале есть возможность описать зависимые функции, пусть и не супер удобным способом. Я попробовал вот так вот выразить таблицу переходов чере...

Не подскажете ли, есть ли способ в текущих версиях хаскеля сделать функцию полиморфную по unlifted типу?

Ну а какой смысл брать язык и использовать его слабые стороны? То есть я могу точно так же на хаскеле обмазаться с головы до ног IORef и IOArray'ами, а потом жаловаться, что ...

Добрый вечер всем! Кто-нибудь знает, появилась ли возможность или какой-нибудь более-менее рабочий хак, чтобы ставить likely/unlikely аннотации на конкретные кейсы в match?

Да, примерно так тут и надо. А что тебя удивляет? Ты берешь очень низкоуровневый язык, сраниваешь его с выскоуровневым, а потом удивляешься, что на нём оказывается ещё ручка...

А у кого-нибудь был положительный опыт с ZLayer и ZIO на грааль-аот? Сейчас экспериментирую и что-то шаг влево-вправо от простейших кейсов и всё рассыпается.

Давай посмотрим. Ну и да, изначально речь шла о более простом случае: ты можешь предложить псевдокод, который бы запрещал переход в состояние 5 из 1, но разрешал из состояни...

Кто-нибудь уже тыкал лин типы свежие? Я правильно понимаю, что паттерматчинг по конструктору с линейными типами сейчас толком не работает?

Кто-нибудь знает, есть ли список версий раста и соответствующих им версий llvm? Чтобы знать в какой версии раста какой llvm используется.

Хмм... не очень понимаю как это поможет, например, для указанной мной функции. Она принимает на вход список монад, bind'ит их последовательно и выдает монаду со списком. Где м...

А нужно именно для акторов дотнетовской акки или в принципе для любых? Потому что у акки достаточно своих подводных камней во внутреннем устройте, которые надо при проектиро...

Есть ещё третий вариант - пойти эмулировать GAT тем или иным способом, но он тоже не очень красивый. Есть у какого-нибудь ещё идеи?

А вероятность этого большая?