если это в репле, то нужны леты (вроде) и многострочный режим. если в модуле - то нет мэйна и принта

main = print $ authenticate "S" "H"

точна

ну можно main = print (authenticate "S" "H")

ты паттерн-матчишь кортеж, а вызываешь как функцию

вызывай как функцию от кортежа или паттерн-матчи без кортежа

да, и это тожа

у тебя же в ПМ пара, а ты юзаешь в вызове функцию с 2 аргументами

))

это следующее сообщение об ошибке :)

с такими мелочами я работаю так: сначала пишу в файл определение функции, а потом играюсь с ним уже в REPL

так что main не нужен

добавь функцию main или запускай в репле

или назови модуль по-другому

ну а теперь ошибка про кортежи

вызывается функция :: String -> String -> Bool, а записана :: (a,a) -> Bool

$ cat foo.hs authenticate ("Santa Claus", "Ho Ho Ho!") = True authenticate (_, _) = False

$ ghci foo.hs GHCi, version 7.10.3: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( foo.hs, interpreted ) Ok, modules loaded: Main. λ> authenticate ("Santa Claus", "Ho Ho Ho!") True λ> authenticate ("1", "2") False λ>

проверяй

че ты не так делаешь

как всё заработает - выкидывай кортеж и пробуй без него, он тут не нужен

напиши какой тип должен быть у authentificate

запятую тоже нужно убрать

не нужно играть в обезьянку за печатной машинкой

и убирать и добавлять случайные синтаксические элементы

да, в хаскелле функции применяются как f a b

так только perl-лу научиться можно

и то не факт

так только perl-лу научиться можно

а php?

как записывается определение функции от нескольких элементов же знаешь?

@Masteroid маловероятно, это ж не перл где любой случайный набор символов это валидная программа 😏

\o/

первый уровень пройден

всего в этой игре 3 уровня

1. написать программу

2. написать свою программу

3. выбрать свой путь

Рано или поздно я до (1) доберусь

Пока что только библиотеки выходят, а программы не особо.

Скоро выйдет ;)

поздравляю с релизом красивого сайта пока :)

просто поделюсь: vscode + haskero очень даже неплох. правда мне поначалу казалось что там автодополнение по типу, но видимо просто везло. и ещё вот такую табличку нашёл https://github.com/rainbyte/haskell-ide-chart

поидее кейворды в лексере и всякие комы с семиколонами должны иметь тип Parser () в отличие от идентифиеров, имя которых должно дальше пригодится но в документации и гайдах они Parser String. Даже в диагностике ошибок этот стринг вроде не нужен или я что-то упускаю?

Пока что только библиотеки выходят, а программы не особо.

библиотека — тоже программа, в широком смысле

@vlastachu, ты всегда можешь игнорировать String

а наоборот, возможно, кому-нибудь тоже будет надо когда-нибудь

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

жаваскриптеры негодуют https://twitter.com/jaredforsyth/status/900023624073084929

а чего ж не <$>?

а чего ж не <$>?

например, потому что в классе Functor написано именно fmap

а чего ж не <$>?

Тогда бы джаваскриптеры бы взвыли

вообще там do не нужен

можно и просто fmap

жаваскриптеры негодуют https://twitter.com/jaredforsyth/status/900023624073084929

Если уж отказываться от временных имён, чтобы "looks prettier", то я бы написал так main = do putStrLn =<< intersperse '-' . reverse . map toUpper <$> getLine

putStrLn <$> (fmap fn getLine)

Да, без do

putStrLn =<< fmap fn getLine тогда уж

а то получается IO (IO ())

да тут и fmap не нужен putStrLn . fn =<< getLine

Часто кто использует =<<?

часто не знаю, иногда использую

Товарищи, подскажите, существуют ли инструменты для автоматического преобразования формул, чтобы они считались более стабильно, наподобие https://github.com/mikeizbicki/HerbiePlugin, но не в виде плагина к GHC, а как отдельный инструмент? Грубо говоря, у меня есть формула, я хочу её куда-нибудь запихать и получить эквивалентную формулу, но которая будет считаться стабильно.

Мб что-то такое есть в Mathematica, Maple или в качестве малоизвестного плагина к Sympy?

какая-то балерина https://ballerinalang.org/

Чёт выглядит слабеньео

Для бьютифул Ну может вытеснить го

а есть какие-нибудь идиоматические способы делать вот татую штуку без тайпклассов: f :: X x -> R x f = f1 если x == x1 f = f2 если x == x2 where f1 :: X x1 -> R x1 f2 :: X x2 -> R x2 можно и тайпклассом, но как-то совершенно не хочется их сюда тянуть, будет абсолютно искусственно. Есть какие-нибудь современнеы способы решить между f1 и f2 type level, что-нибудь по типу boost в С++, простигоспади Я нашел какие-то https://hackage.haskell.org/package/type-level-0.3.0 но совершенно не уверен, что это оно

Какие-нибудь семейства типов, не уверен. Как с функцией связать хз конечно. Не, тайпфэмили тут не при чем

А X это что, type family?

А X это что, type family?

ага

Так вот, надо понимать, что в рантайме в таком случае матчить не на что. Будет у тебя, например, X A = Int, а X B = Bool, вот и придет в твою функцию один указатель, а по нему попробуй пойми что — Int или Bool (не говоря уже о невозможности определить, было это A или B, потому что type families не инъективные)

Решается это тем, чтобы добавить GADT и передавать его

data SX x where SX_A :: SX A SX_B :: SX B f :: SX x -> X x -> R x

А там уж можно на SX матчиться и творить что душе угодно в разных ветках кейса

ну вот я как раз ничего в рантайме не хочу матчить вообще

там динамически вообще нечего решать

Если ты не хочешь матчить ничего в рантайме, то вызывай f1 или f2 статически и проблема решена, нет?

конечно, но мне хочется идиому типа "если параметр типа такой, то вызывать f1, иначе f2"

Ну ладно, тогда давай по порядку разбирать X A = Int X B = Int вызвали, передав Int. Будет f1 для A или f2 для B?

А если гарантированно разное, то начать надо с того, чтобы сделать эту type family инъективной (или заменить на data family)

у меня есть вот такое data ErrorCaching = NoErrorCaching | TimedCaching NominalDiffTime type family IOResult_ v (caching :: ErrorCaching) type instance IOResult_ v NoErrorCaching = Either SomeException v type instance IOResult_ v (TimedCaching _) = Either (SomeException, UTCTime) v