f :: forall a b c. a -> b -> c f a b = g a where g :: a -> c g = undefined

в случае f :: forall a b c. a -> b -> c f a b = g b where g :: a -> c g = undefined будет ошибка: • Couldn't match expected type ‘a’ with actual type ‘b’

если убрать forall, то последний пример не покажет ошибки: переменные a в f и g — разные

/cc @newrlan

здорово!! надо поиграться

новый зависимый Хаскель: http://www.seas.upenn.edu/~sweirich/papers/systemd-submission.pdf

ScopedTypeVariables не нужны, вроде бы

как раз таки они и нужны ибо включают соответственно расширение. а forall чтобы включить его для функции

если убрать forall, то последний пример не покажет ошибки: переменные a в f и g — разные

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

6 апреля сообщество RuHaskell и «Лаборатория Касперского» вновь приглашают всех заинтересованных на встречу, чтобы обсудить Haskell и другие языки в функциональной парадигме, поделиться опытом их применения в решении прикладных задач. Дмитрий Зуйков в докладе «Haskell вместо СУБД» поделится опытом отказа от реляционной СУБД в веб-проекте в пользу in-memory структуры данных и CAS (Content-addressable storage). Катерина Галкина в докладе «Интеграция с API внешних сервисов» расскажет о взаимодействии с чужими HTTP API с помощью servant, aeson и swagger2. Алексей Пирогов расскажет о построении Web GUI с использованием GHCJS и библиотеки react-flux. Антон Холомьёв выступит с докладом «Если нельзя писать на Haskell, но очень хочется», в котором поделится опытом использования Haskell для построения графических интерфейсов и UI. Встреча пройдет 6 апреля 2017 года с 19:00 до 22:00 в штаб-квартире «Лаборатории Касперского», Москва, Ленинградское шоссе, 39Ас2. Мероприятие бесплатное. Необходима предварительная регистрация.

Думал сходить, но мучает такой вопрос. Судя по тематике докладов, встреча будет сугубо в формате "от разработчиков разработчикам"? Если я никогда не писал на хаскелле "в продакшоне", а пока просто его изучаю по учебникам, есть смысл идти?

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

Вопрос интересный, на самом деле

ghcjs никто не использует так что там наверняка доклад будет для тех кто ни разу не приступал

react-flux кстати достаточно мертвая

я знаю человека, который знает человека, который почти использовал ghcjs

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

я знаю человека, который знает человека, который почти использовал ghcjs

не только для фана?

в продакшене

найс

react-flux кстати достаточно мертвая

в этом плане скорее reflex более интересен. посмотреть что такое frp

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

https://twitter.com/dshevchenko_biz/status/847323547701608448 Шевченко пишет: подкаст возвращается. Но дат не называет)

https://twitter.com/dshevchenko_biz/status/847323547701608448 Шевченко пишет: подкаст возвращается. Но дат не называет)

Ура

https://twitter.com/dshevchenko_biz/status/847323547701608448 Шевченко пишет: подкаст возвращается. Но дат не называет)

1го апреля?

@qnikst я уже устал обновлять PocketCasts :(

кстати, а чем вообще подкасты слушают?

я на андроиде pocket casts

для ios оно тоже есть вроде

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

downcast

да будет будет все

фигасе, он платный

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

Тупые шуточки уместны?

хотя он не вышел

фидер обновился, там теги или что-то такое

фид

потому и прилетело

@voidlizard да, и вебморда еще отдельно стоит денег :(

ладно, а еще способы есть?

короче просто в вебе натыркать и что бы проигрывало - нет такой опции? как-то эта культура мимо меня прошла

ну на сайтике подкаста можно послушать

ghcjs никто не использует так что там наверняка доклад будет для тех кто ни разу не приступал

ghcjs тяжёлый до жути, иде сама по себе гиблая, как и scalajs. А reac-flux уже реально никто не использует

@voidlizard есть

я браузером слущаю

там же мп3 у меня хром его играет

это стриминг

или это просто аудиофайл?

да

второе

У студии Ghibli API описано на Haskell

https://ghibliapi.herokuapp.com/#section/Use-Case

но сам апп на ноде

ghcjs тяжёлый до жути, иде сама по себе гиблая, как и scalajs. А reac-flux уже реально никто не использует

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

ghcjs тяжёлый до жути, иде сама по себе гиблая, как и scalajs. А reac-flux уже реально никто не использует

а если по-делу: какие критерии слова "тяжёлый"? занимаемый размер? перфоманс?

скорее всего размер бандла большой

а сейчас во фронтенде даже реакт это жирно

Что нынче делается на хаскеле ??

на хаскелле это как на раёне?

А кто у нас тут по кровавому энтерпрайзу? Скажите, вот этот вот паттерн, когда у нас есть прокси-объект, который представлен либо GUID, либо полным представлением объекта и имеет методы materialize/dematerialize - это у нас кто? Я думал, что это Фаулер, но не могу найти это в нем. Думал, что Ларман, книжку давно выбросил, но и там этого нет. Это же не мог Буч придумать?! Буч же вообще ничего работающего не придумал.

Или это GoF все таки?

А кто у нас тут по кровавому энтерпрайзу? Скажите, вот этот вот паттерн, когда у нас есть прокси-объект, который представлен либо GUID, либо полным представлением объекта и имеет методы materialize/dematerialize - это у нас кто? Я думал, что это Фаулер, но не могу найти это в нем. Думал, что Ларман, книжку давно выбросил, но и там этого нет. Это же не мог Буч придумать?! Буч же вообще ничего работающего не придумал.

Именно такую формулировку не припомню, но у gof был немного более общий virtual proxy

я помню прямо вот OID, materialize/dematerialize, прямо в таком виде. только не могу найти где это было.

это кеширующий смарт поинтер))

где это описывается в таком виде? в каком именно источнике? GoF ? Фаулер? Ларман?

не буч ведь

я надеюсь

в данном случае это была шутка, но я тоже где-то видел

да это правда практически оно,

надо бы только найти относительно первоистосточник. неужели это Ларман 2002-го года, в 2013-ом ничего такого уже нет

Охренеть. Через полгода обновил stack, зашел в директорию со старым проектом, все сбилдилось, но дикая дичь происходит

amqp молча умирает после 1 сообщения

Сейчас главное понять действительно ли это чат по хаскелю

https://ruhaskell.org/posts/theory/2017/03/31/goal-or-instrument.html

https://ruhaskell.org/posts/theory/2017/03/31/goal-or-instrument.html

Не люблю хвастаться(ахаха, ну конечно) но то же самое я уже говорил и рустовчанам и здесь

>Однако мы не имеем права забыть главное: язык программирования - это средство, но не цель. Мы ведь помним цель, не так ли? Софт. Это наша цель. Эм.

>Однако мы не имеем права забыть главное: язык программирования - это средство, но не цель. Мы ведь помним цель, не так ли? Софт. Это наша цель. Эм.

"Во-первых, это красиво"

Софт цель того кто его продает

Ну типа если нравятся какие-то технологии или языки и видишь возможным их приспособить то стоит попробовать

/me молчит чтобы не ругаться

Ну статью не читал отвечаю на цитату

Статья ни о чем

>Однако мы не имеем права забыть главное: язык программирования - это средство, но не цель. Мы ведь помним цель, не так ли? Софт. Это наша цель. Эм.

Поэтому я работаю не в индустрии, а в университете. Тут язык как цель это нормально.

Поэтому я работаю не в индустрии, а в университете. Тут язык как цель это нормально.

Мне не нравится что там много бумажек. Или у вас в Ростове не так?

В Ростове немного. И в Бостоне тоже)

Ребзя, что взять начинающему для вкатывания в хаскелль, если я пишу очередной CRUD + SPA, yesod хорошо подходит для реализации обычной API которую буду дергать?

/me работает в индустрии, но развитие языка тут тоже цель

Я просто погуглил, есть вот yesod, snap, happy, но как-то по таблице на вики я никаких выводов сделать не могу, потому что плюсы-минусы мне банально не ясны, увы

/me работает в индустрии, но развитие языка тут тоже цель

В индустрии это скорее исключение, чем правило. А в университете наоборот.

согласен

Ребзя, что взять начинающему для вкатывания в хаскелль, если я пишу очередной CRUD + SPA, yesod хорошо подходит для реализации обычной API которую буду дергать?

Модно использовать сервант

хотя вот всякие аттопарсеке на 9% быстрее это как раз индустрии и надо

Слово "вкатывание" как бы намекает, но и лучше сразу сервант

уже выбравшей хацкель

Что бы потом не переписать на сервант