Скорей всего это только !

id еще

f: Bool => Bool

Ну это одна категория. Как то странно

id еще

Ну это понятно )

Ну это одна категория. Как то странно

Что странного?

Скорей всего это только !

и можно еще налепить (& true) (& false) и т.д.

и можно еще налепить (& true) (& false) и т.д.

Но этих типов нет там

причем здесь тип? речь про морфизмы из Bool в Bool

Ну верно да, но тогда это не нарисуешь так как бесконечное число стрелок

можно обобщить аля HomSubSet =)

Что странного?

Что слишком просто задание

Так это вроде одно из первых?

ну да

ясно же, что 4 морфизма Bool -> Bool, но зачем их все рисовать

id, not, ...? Или я не проснулся еще )

&Bool?

||Bool?

const True, const False

Доброе утро, подскажите как называется штука которая позволяет получить F[A => B] имея A => F[B]?

@nikitamatveenko String => Option[Int] —---> Option[String -> Int] - была функция с мейби результатом на выходе, а стало возможно функцией однозначного отображения. как это называется? или есть какой-то человеческий кейс?

В моем случае F это Future/Task

Не получится так сделать

В моем случае F это Future/Task

и где же человеческий кейс?

Доброе утро, подскажите как называется штука которая позволяет получить F[A => B] имея A => F[B]?

встречал подобное в красной книге Маннинга

где имплементились свои фьючи

Не получится так сделать

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

Ну чел кейса я не могу описать, сорри

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

Напиши руками реализацию функции def foo[A, B](f: A => Option[B]): Option[A => B]

Я просто чувствую что я могу этого добиться используя только map, flatMap, pure

Хотя бы для частного случая

@nikitamatveenko ну вот заменили мы на футуру и получили String => Future[Int] —---> Future[String -> Int] . неужели это стало человеским кейсом, ведь по сути семантика на которую я намекал нисколько не поменялась

Напиши руками реализацию функции def foo[A, B](f: A => Option[B]): Option[A => B]

def foo(f: String => Option[Int]):Option[String => Int] = None - шах и мат

Lol

Если устраивает то ок

Если устраивает то ок

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

Ну да, какие требования к F[_], A и B ?

Какие законы у этого преобразования?

Напиши тест на эту функцию ))

Ок я понял, щас с телефона не могу, позже с компа отвечу) спасибо за размышления

Напиши тест на эту функцию ))

assert(foo("any" => None) == None)

Это был совет Никите )

Если у тебя есть функция f: A => F[B] То нужны инстансы: a: Applicative[F] t: Traverse[Function[A, ?]] val res = t.sequence(f)(a)

Тип результата будет F[A => B] ?

Доброе утро, подскажите как называется штука которая позволяет получить F[A => B] имея A => F[B]?

Это был ответ на вопрос "как называется". Как реализовать траверс для функции - хз

Это был ответ на вопрос "как называется". Как реализовать траверс для функции - хз

Спасибо)

https://twitter.com/runarorama/status/864860002569392128

запинить нужно

отлить в граните при входе, да

https://twitter.com/nikalaikina/status/951390492171829249

вон уже утащили

только как-то перефразировано

все так

стейта нет значит чсв

One actor is no actor. They come in systems.

ЧСВ система

Народ, помогите. Решил научиться скале и сразу решил сделать http сервер с апи. Использую intellij idea создал проект sbt и не могу установить scalatra. Тупо не понимаю как это сделать

Для человека пришедшего с мира nodejs и npm это как-то жестко выглядит всё

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

ты просто пишешь зависимость в build.sbt, потом жмякаешь рефреш прожект

ты просто пишешь зависимость в build.sbt, потом жмякаешь рефреш прожект

а нету фронтенда как npm/yarn для ноды?

или в джет брейнс

Для человека пришедшего с мира nodejs и npm это как-то жестко выглядит всё

как человек, 2 года работавший со скалой, и которому пришлось недавно заводить проект на ноде, хочу сказать, что ваш npm нихрена не легче )

а то придется постоянно смотреть какую версию писать

как человек, 2 года работавший со скалой, и которому пришлось недавно заводить проект на ноде, хочу сказать, что ваш npm нихрена не легче )

лол) npm install package_name)

лол) npm install package_name)

безусловно

наврал

ERROR: S client not available

https://github.com/scalatra/sbt-scalatra

пока ты не узнаешь, что оказываются есть local и global инсталляции

Add the plugin in project/plugins.sbt addSbtPlugin("org.scalatra.sbt" % "sbt-scalatra" % "1.0.1")

а потом тебе ещё надо несколько разных нод держать в системе

Add the plugin in project/plugins.sbt addSbtPlugin("org.scalatra.sbt" % "sbt-scalatra" % "1.0.1")

вот у него 1.0.1 версия. Мне нужно будет постоянно чекать эту версию и переписывать вручную?

а потом тебе ещё надо несколько разных нод держать в системе

nvm

https://twitter.com/nikalaikina/status/951390492171829249

а почему ее нет в этом чате

вот у него 1.0.1 версия. Мне нужно будет постоянно чекать эту версию и переписывать вручную?

поставь вместо одной из цифр +, чтобы sbt обновлял в рамках выбранной ветки

вот у него 1.0.1 версия. Мне нужно будет постоянно чекать эту версию и переписывать вручную?

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

а почему ее нет в этом чате

возможно что есть

но она здесь не пишет

а кто это?

значит совет не релевантный и не вымучен в дискуссиях

поставь вместо одной из цифр +, чтобы sbt обновлял в рамках выбранной ветки

в рамках семвер? типо 1.+.+ будет только минорки и патчи обновлять?

в рамках семвер? типо 1.+.+ будет только минорки и патчи обновлять?

звучит как невоспроизводимый билд

а почему ее нет в этом чате

в scala jobs есть

+.+.+

и в ФП

в рамках семвер? типо 1.+.+ будет только минорки и патчи обновлять?

в скалке нет (пока) аналога stackage, поэтому мероприятие для любителей риска

там где траффика нет в общем :)

+.+.+

приколюха

спасибо за ответы, всех благодарю

спасибо за ответы, всех благодарю

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

а нет никакого фронтенда в intellij idea для автоматического добавления зависимостей. Чтобы не вручную искать и добавлять?

в рамках семвер? типо 1.+.+ будет только минорки и патчи обновлять?

типо того http://www.scala-sbt.org/0.13/docs/Library-Dependencies.html

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

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

джава страшная

питон не воспринимаю как язык

а нет никакого фронтенда в intellij idea для автоматического добавления зависимостей. Чтобы не вручную искать и добавлять?

у них есть какие-то фичи, но они кажется только по твоему локальному кешу будут искать. так что не вариант

http://search.maven.org/

в scala jobs есть

ну тип там профиты есть