а, мин во так тоже не подходит: (Char -> Char) -> (Char -> Char) -> [Char]

Начнем с того, что в этом выражении тип fmap специализируется исходя из имеющихся аргументов.

ой, я ебобошка

решил сам

(Char -> Char) -> (Char -> Char) -> (Char -> Char)

всем спасибо

пожалуйста…

Яваскриптеры явно гоблины

а rust разработчики кто

Вакаха! https://career.biocad.ru/job/razrabotchik_po_haskell_.html

а rust разработчики кто

на низком уровне же - гномы

soy boy Ну это совсем уж сказочные персонажи, их никто не видел в продакшоне

на низком уровне же - гномы

намного выше си

Жавастриптеры, это испорченные эльфы (несипорченные - лисперы). Т.е. гоблины как раз.

намного выше си

На Си балроги фигачат

Балроги не древнее гномов?

Хоббиты пишут на вижуал бейсике

Балроги не древнее гномов?

Балрогов Мэлькор запилил, вроде когда гномы ещё спали

Тогда не подходит

Так и гномы не сразу к ржавчине перешли. Сначала тоже на Си фигачили

про идрис с регионами он бы так не говорил ?

@astynax ээ, подходит, я попутал

про идрис с регионами он бы так не говорил ?

"Идрис с регионами", это когда полуэльфы хотят чего-то низкого?

"Lord of tht Rings", это вообще что-то типа "Д.Т.Н. в математике", псто Саурон всегда был зазнайкой и хотел себе титул не как у всех.

Да и помешан был на всяких "Одно Кольцо чтобы сбайндить их все". Странный, вощм. И хоббиту понятно, что ему бы полукольца хватило

LoR это что-то про security

корневые сертификаты на магию и т.п.

вконце протеряли центральный сертификат из чейна

и магия кончилась, пришлось свалить

Go могло появится только из Перумовского "продолжения LOTR"

Go, это когда людишки пытаются запилить свой язык без присмотра эльфов (которые уплыли в Валинор и зависимые типы)

А CLU это сильмарилы?

Вот это, я понимаю, дискуссия

хорошее видать пиво в ресторане было (или не пиво) что все ещё не отпускает

в тот раз "мои обероны" сочинились.. теперь это

Кстати, все купили себе неможно Ада?

inline-rust?

inline-haskell!

кстати да

а есть чат для новичков? А тот тут не хочется встревать с тупыми вопросами

@egoarka это чят для новичков

http://ircbrowse.net/haskell-beginners

https://gitter.im/ruHaskell/novice

тем более любые вопросы даже тупые, более онтомпк, чем раскладывание языков по миру LoR

но тут тож норм

а есть чат для новичков? А тот тут не хочется встревать с тупыми вопросами

В чате для новичков будет строго то же самое, либо никого, ветер и перекати-поле

в гиттере там на novice обсуждали ТК, коалгебры и линзыперелинзы

@egoarka в общем самое логичное спрашивать тут

понял, спасибо

ну может это были новички в ТК?

Условие: Сделайте тип данных Arr2 e1 e2 представителем класса типа Functor: newtype Arr2 e1 e2 a = Arr2 { getArr2 :: e1 -> e2 -> a } GHCi> getArr2 (fmap length (Arr2 take)) 10 "abc" 3 —- Решение: ̶i̶n̶s̶t̶a̶n̶c̶e̶ ̶F̶u̶n̶c̶t̶o̶r̶ ̶(̶A̶r̶r̶2̶ ̶e̶1̶ ̶e̶2̶)̶ ̶w̶h̶e̶r̶e̶ ̶ ̶ ̶f̶m̶a̶p̶ ̶f̶ ̶(̶A̶r̶r̶2̶ ̶e̶1̶ ̶e̶2̶)̶ ̶=̶ ̶A̶r̶r̶2̶ ̶(̶f̶ ̶.̶ ̶e̶1̶ ̶$̶ ̶e̶2̶)̶ компилятор посылает: main.hs:5:11: error: • The constructor ‘Arr2’ should have 1 argument, but has been given 2 • In the pattern: Arr2 e1 e2 In an equation for ‘fmap’: fmap f (Arr2 e1 e2) = Arr2 (f . e1 $ e2) In the instance declaration for ‘Functor (Arr2 e1 e2)’ чяднт? ну если смотреть на ошибку, то вроде у меня 1 параметр

Arr2 e1 e2

2

так там паттерн-матчинг, не?

и

паттерн матчинг не типы достает ведь

main :: IO () main = do putStrLn "What is your name?" x <- getLine return ("Hello, " ++ x ++ "!") >>= putStrLn Вот вам немного кода он ваннаби-хачкелиста, подскажите плиз, можно ли написать последнюю строчку без return?

Перепробовал несколько вариантов, но он мне нет, ты оборачивай в монаду и всё тут!

паттерн матчинг не типы достает ведь

а, мне нужно будет для инта сделать и для лямбды fmap, правильно (матчинг)?

Оно вроде как и нормально, мне не жалко, оберну.

Но что-то мне подсказывает, что говнокод это.

do ... putStrLn $ "Hello " ...

Ох

Но что-то мне подсказывает, что говнокод это.

тебе нужно понять что делает >>=

Связывает контейнер в монаде с функцией.

do ... putStrLn ("hello " ++ ...) -- что то же самое

Такое я вроде пробовал.

про-тип для новичков: избегайте . и $ пока не разобрались с базовым синтаксисом

ERROR: S client not available

У меня тупнячёк, подскажите пожалуйста как с типом правильно раздуплиться. В Scotty пытаюсь вернуть следующее: suid :: ActionM () suid = do text $ do zt <- getZonedTime formatTime defaultTimeLocale "%Y%m%d%H%M%S" zt

Хз, что я не так делал, но со скобками тоже всё ок.

suid :: ActionM () suid = do zt <- getZonedTime text (formatTime defaultTimeLocale "%Y%m%d%H%M%S" zt)

В общем, благодарю всех откликнувшихся!

скорее всего lifIO getZonedTime

Actual type: IO ZonedTime

liftIO :: MonadIO m => IO a -> m a

т.е. в этом случае будет liftIO :: IO ZonedTime -> ActionM ZonedTime

Благодарю, попробую

про-тип для новичков: избегайте . и $ пока не разобрались с базовым синтаксисом

И сов избегайте)

(.).(.)

подразумевается

@qnikst @lonokhov про какой вы там говорили никсодокер?

https://nixos.org/nixpkgs/manual/#sec-pkgs-dockerTools

до ноута доберусь скину команды

там что-то2docker

@lonokhov у меня есть выражение на никсе, которое что-то собирает. Я хочу то что в $out этого выражения запихать в докер. При этом я не хочу, чтобы там были сорцы.

Ну и не будет

чего-то я не понял документацию

статейка была нидавно

http://lethalman.blogspot.com/2016/04/cheap-docker-images-with-nix_15.html

спасибо, полистаю

вообще го в канал тематический https://t.me/ru_nixos

будет полезно для новичокв

в будущем

Ок, вопрос от новичка - как начать получать деньги за кодинг на хаскеле? Желательно на удалёнке. Какой минимум знаний нужен для такой работы, и что следует прочитать и прорешать? К примеру, для работы на java достаточно прочитать Эккеля, узнать, зачем нужен Spring (загадка великая, до сих пор никто не ответил), чуть-чуть знать так называемые прости господи паттерны проектирования и уметь делать простые запросы на sql, для чего достаточно упражнений на sql-ex. И ещё уметь пользоваться maven'ом (чего там уметь-то). Итак, что нужно для Хаскеля? И где под него ищется работа?

Похоже на троллинг

А делать лабы за студентов считается зарабатыванием денег?

Похоже на троллинг

Как задашь нормальный, практический вопрос, так сразу троллем назовут

Ок, вопрос от новичка - как начать получать деньги за кодинг на хаскеле? Желательно на удалёнке. Какой минимум знаний нужен для такой работы, и что следует прочитать и прорешать? К примеру, для работы на java достаточно прочитать Эккеля, узнать, зачем нужен Spring (загадка великая, до сих пор никто не ответил), чуть-чуть знать так называемые прости господи паттерны проектирования и уметь делать простые запросы на sql, для чего достаточно упражнений на sql-ex. И ещё уметь пользоваться maven'ом (чего там уметь-то). Итак, что нужно для Хаскеля? И где под него ищется работа?

Спринг для DI

А делать лабы за студентов считается зарабатыванием денег?

Нет, потому что я, как бывший репетитор, прекрасно знаком с этим видом заработка. Ипотеку вы с него выплачивать не будете, он сезонный.

Следует прочитать книги и прорешать задачи. А уровень знаний нужен подходящий.