То есть мне надо b (4 (a 5))

опять дз?

Лол, у кого-то бывают ДЗ на Haskell?

Нет, я просто для себя учу.

Сам я Python-программист.

А Haskell - это хобби.

топ вопросы

Ну я только начал.

В Душкине 1 главу прошёл.

Там в конце задачи.

Застрял на третьей.

Функцию-то определил, а протестить не могу.

А не, это я просто даун.

А как объявить тип функции, которая просто возвращает значение, но ничего не принимает?

func -> a?

func :: a

Ага, спс.

про как передать, так же как в питоне Запиши и убери лишние запятые и скобкм

В питоне было бы a(4, b(5)). Не сработает :)

А если типы такие? b :: Num a => a -> () a :: Num a => (a, ()) -> ()

а в чем проблема с b 4 (a 5)?

То есть мне надо b (4 (a 5))

в том, что тут были лишнии скобки

В питоне было бы a(4, b(5)). Не сработает :)

убрать лишние запятые и скобочки и все сработает

преобразование чисто механическое

добавлять скобочки тоже придется

можно вначале в S-выражение перевести, а потом сработает удаление лишних скобок :) b(4, a(5)) -> (b 4 (a 5)) -> b 4 (a 5)

не понятно что имелось в виду под "сработает"

В питоне было бы a(4, b(5)). Не сработает :)

почему нет?

Потому что убрать лишние скобки и запятые будет недостаточно

немного неидиоматично, но сработает

Я это имел ввиду :)

добавлять скобочки тоже придется

мелочи

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

оч неэффективно

зато сработает

после двух раз подобный вопрос задаваться не будет

т.е. я бы сказал, что если цель это понимание, то вполне эффективно раз оно после главы книги не появилось

@olegyam Начал бы ты с лиспа, тебе было бы понятнее. Хаскелль, по синтаксису, суть lisp extension с операторами.

@olegyam Начал бы ты с лиспа, тебе было бы понятнее. Хаскелль, по синтаксису, суть lisp extension с операторами.

Что я сказал не так? :)

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

С чего ты взял, что синтаксис хаскеля для меня проблема?

А, пардон, перепутал тебя с @hotkosc

Ничего страшного :))

Лол, у кого-то бывают ДЗ на Haskell?

da

надо просто запомнить, что обычно в ЯП в функцию передается кортеж.С SML еще пошло

Или можно сказать, что в haskell все функции по умолчанию каррированы, а в большинстве остальных ЯП - декаррированы

это сложнее

@bravit111 а в твиттере можно и по другому чятик рекламировать ;)

Как?

Ладно, я исправился.

да все хорошо:) так тоже нормально было

Вот, явно моя работа!

Вот, явно моя работа!

Верная гипотеза!

Верная гипотеза!

Ого, здравствуйте, я ваш фанат) Ну, собственно, запись ваших первых трех лекций в РАН по ЛИ и побудила меня лезть во все это

Что-то как-то академично стало резко

Ой

Да ладно вам

Просто всем надо стремиться к образованию 😉

реклама работает

вот будем продвигать услуги на русский сегмент, понятно кого спрашивать о рекламе

Я готов

Верная гипотеза!

Здравствуйте! Спасибо за Ваши замечательные лекции, я бы хотел быть вашим студентом)

(кто-то форсит генератор ленивой последовательности новых участников? )

а как подружить stack и ghc-pkg?

да они вроде как с первого дня друзья (первый знает о втором и активно его применяет).

что-то не сходится.. stack install кладет зависимый пакет локально в .stack-work

и ghc-pkg его не видит

глобальный ghc-pkg?

и подружить не выходит пока.. оба, и глобальный, и stack exec -- ghc-pkg

а вы stack path посмотрите, там пути в т.ч. и к БД пакетов

с глобальными путями они не совпадают

через stack repl после импорта GHC.Paths проверил, путь совпадает

ну и локальный ghc-pkg не видит установленный пакет.. с разными нездоровыми идеями добился стабильного сообщения: After installing Cabal, the package id couldn't be found.

сношу ~/.stack пробую по новой

сношу ~/.stack пробую по новой

Classic.

Лол, у кого-то бывают ДЗ на Haskell?

Я в универе проходил

Я в универе проходил

+

@hotkosc ты тот пирожок или однониковец?

@hotkosc ты тот пирожок или однониковец?

Скорее всего нет.