Анатолий Кот

Добрый день, подскажите есть ли в хаскеле возможность получить представление типа функции в виде значения? Те что-то подобное псевдокоду: reprOf (:) = Function (Tp "a1") (Func...

добрый день, я запутался в линзах, помогите. Читаю вот это http://comonad.com/reader/2012/mirrored-lenses/ и почти вначале статьи: or from a family of isomorphisms: iso :: (a...

Здравствуйте, запустил я cabal install внутри nix-shell и получил вот такой екзешник: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /nix...

Настроили вы тут мельниц и боритесь с ними( где знания даются с трудом. Мы точно про дс говорим? С таким то обилием книг\статей\курсов (даже если вычеркнуть посредственные мат...

День добрый, есть такой паттерн: data FuncType = FuncType Text Text deriving (Eq, Ord) data Address = Address FuncType Text pattern Address' :: Text -> Text -> Text -> Addres...

А есть какая-нибуть фундаментальная причина из-за которой не стоит использовать спринг со скалой? Помимо того, что у нас тут скала, у нас тут так не принято

Добрый день, можно ли как для этого типа сделать так, чтобы дерайв заработал? newtype MyCt m a = MyCt { runMct :: forall r . ContT r m a } deriving (Functor, Applicative, Mon...

Добрый день, разбираюсь с лайфтаймами и не пойму почему не компилится этот гист https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=3f75b0cd9c970a370836708...

Добрый вечер, что-то я совсем туплю. Из описания к time::advance Increments the saved Instant::now() value by duration. Subsequent calls to Instant::now() will return the res...

Добрый день, можно ли как-то сконвертировать (&A, &B) в &(A, B ) ?

Добрый день, подскажите как штуки вот такого вида композить? `` withSomeResource :: res a -> (a -> IO b) -> IO b `` сейчас у меня просто withSomeResource res1 $ \a1 -> withSo...

А разве это плохо с точки зрения написания клиентского приложения? Конкретная монада берет на себя всю работу с менеджментом эффектов и канкаренси в то время как я могу начать...

добрый день, можно ли как-то избежать смешaния вывода при принте в консоль из нескольких потоков? (ScrSSSacccprrriaaanpppgiii nnnwgggo rwwwdooo rrredddm bfdéûuéccifuhremen...

добрый день, пытаюсь написать небольшой пример для извлечения элемента из тапла по типу, но не могу понять как таплы и унификация в скале работают - почему в https://scastie.s...

Так и есть. Но ведь, если я ничего не путаю, и наличие баунда F[_]: Console не гарантирует, что для конкретной Console[Task] или F[_]: Sync .. Console[F], в том месте, где буд...

Здравствуйте, разбирался с автодеривацией и возникли затруднения с дифференциацией функций определенных на тензорах. Те если функция определённа на векторах f :: R^n -> R^m, т...

Добрый день, а что можно использовать вместо https://docs.rs/futures/0.1.0/futures/fn.promise.html? Тк сам этот промис в 0.3 куда-то переехал\

ну те это же формула для одномерного случая, верно? Тк если g: NxN -> Nx1, то уравнение будет выглядеть: d/dv (v*g(v)) = (IdentityMatrix? *) g(v) + f(x) * d/dv g(v) где в rhs ...

подскажите плиз, в скаласти добавляю кайнд прожектор и вылетает coursier.ResolutionException: Encountered 1 error(s) in dependency resolution: org.spire-math:kind-project...

>TF же про выражение подъязыка, на элементах которого строятся программы. Лексикон этого подъязыка расширяется по необходимости, когда нужно добавить какую-то новую функционал...