День добрый. Пытаюсь зарефачить jhc, чтоб собирался на свежем 8.8.* снепшоте. Есть вот такой кусочек: readHFile :: FilePath -> IO (FilePath,HoHeader, forall a . Data.Binary....
Скажите, а как это Sandy Maguire так делает? https://reasonablypolymorphic.com/some1-like-you/#/step-46 (и 47 слайд тоже) GHC 8.4.4: https://www.ideone.com/xSqkc5 На 8.6....
1) Чем не нравятся массивы? 2) purs-ide 3) Дело вкуса. Мне больше с явным forall нравится, например 4) Мне новая система эффектов удобнее. Да, логично, что она отличается от ...
type family Ma (f :: k -> x) (ks :: [k]) :: [x] type instance Ma f '[] = '[] type instance Ma f (x : xs) = f x : Ma f xs Тайплевел мэп. Где готовый взять?
Вообще, есть какое-то практическое применение рекурсивным схемам ( ну, кроме того, что это просто прикольно)? Библиотечных fold, unfold пока хватало :/
Тогда вопрос касательно Elm. Мы умеем в параметрический полиморфизм, но не умеем в adHoc. Но ссылаясь на статью Гонзалеса "Scrap your type classes" мы можем реализовать adHoc ...
Ну, дык, оно так и спроектировано, для тех, кто не вникал в ФП и уж тем более, в теоркат. Из опрошенных фронтендеров все пищат от восторга. "Purs? Нее, там вообще страшная дич...
Это очень круто, но вы лично пробовали найти разработчика на Reason? Тут нормального разработчика на JS фиг найдешь. Толпы хипстеров на гироскутерах, с вейпами, после недельны...
Понял. А я о том, что я хочу программировать на типах. Т.е. у меня есть id :: forall. a -> a vl :: Int Могу я как-то применить id к vl? Не имеея имлементации. И получить т...
Очень часто встречаю - Что за дичь ты тут написал? - Чё ты пристаёшь, работает же.
Так а чё столько разговоров, про скучнохаскелл то? Ну будет стандартный стек, со стандартными гайдлайнами. Что плохого. Кто хочет космонавтику, пожалуйста, кто не дает?
Т.е. я занимаюсь ерундой, и разложение любой монады на пару сопряженных функторов не всегда возможно в контексте hs?
Let 〈T, η, μ〉 be a monad over a category C and let Ct be the associated Kleisli category. Define a functor F: C → Ct by FX = X F( f : X-> Y ) = unit_y . f Значит ли это, что ...
Я бы любил LUA, но меня бесит нумерация элементов массива с 1. Кстати, кто-то что-то про кольца говорил на эту тему. Что там за прикол?
А, ага, понял. Человек длину списка хочет на тайплевел вытащить. Так?
Та ладно. Не-программист писал 12 лет что-то на баше. 200KLOC? Да как это вообще возможно?
"Кем вы видите себя через 5 лет в нашей компании?"
Интернет радио? Это которое музычку транслирует, или можно SDR-кой порулить?
Кто-то пробовал модуль ядра на хаскеле писать? Идея обертку написать на C. Логику на HS.
Кто-то знает как в серванте сделать AuthProtect handler который имеет доступ к body запроса?