Forwarded from Zygohistomorphic Prepromorphism🇺🇦
и как тогда сделать? я помнимаю, что FD жестко захватили зависимость типов
Forwarded from Zygohistomorphic Prepromorphism🇺🇦
хочу, чтобы выводился функтор для моего типа
Forwarded from Dmitry
Может такое имеется в виду:
class Functor f => ExtF p f | p -> f
data A p a = A (forall t. ExtF p t => t a) deriving Functor
Forwarded from Dmitry
С TF получилось так:
type family ExtF' p :: * -> *
data A p a = A (Functor (ExtF' p) => ExtF' p a)
deriving instance Functor (A p)
Forwarded from Oleg Andreev
@Psilon а ты знаком с чуваком Varkor? https://varkor.github.io/blog/2019/03/28/idiomatic-monads-in-rust.html
varkor’s blog
Idiomatic monads in Rust
A pragmatic new design for high-level abstractions Monads (and, more generally, constructs known as “higher kinded types”) are a tool for high-level abstraction in programming languages1. Historically, there has been a lot of debate inside (and outside) the…
Forwarded from Oleg Andreev
varkor’s blog
Feasible functors in Rust
withoutboats, one of the Rust language design team, recently posted a thread on the infeasibility of monads as a useful abstraction technique in Rust, as a response to the persistence of some (usually from outside the Rust community) in claiming that “Rust…
Forwarded from hirrolot
Пользуясь случем, скину эту статью: https://habr.com/en/post/448240/
Хабр
Магические трансформации типов данных в Rust: Интринсика mem::transmute<T, U>
Введение Язык программирования Rust, невзирая на всеохватывающую идеологию безопасности данных, располагает и небезопасными методиками программирования, ведь по...
Forwarded from Anton Trunov
- t.iss.one/practical_fm
- https://t.iss.one/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
- в чат по Coq могу просто добавить - там нет ссылки
- https://t.iss.one/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
- в чат по Coq могу просто добавить - там нет ссылки
Telegram
Формальные методы верификации ПО на практике
Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. Теги: #работа #phd.