Size: a a a

2020 May 28

к

кана in haskell_blah
Yuuri
Можно пример, когда do возвращает самый общий Functor?
вот выше даже функтор не требуется
источник

DB

Danil Berestov in haskell_blah
Прикольно. Часто хацкел на рекурсивных функциях просит явно указать тип (если я не путаю ничего). А тут сам всё
источник

AA

A64m AL256m qn<co... in haskell_blah
Yuuri
Можно пример, когда do возвращает самый общий Functor?
Prelude> :set -XApplicativeDo
Prelude> :t \xs -> do { x <- xs; return x }
\xs -> do { x <- xs; return x } :: Functor f => f b -> f b
источник

Y

Yuuri in haskell_blah
От же ж, спасибо
источник

Y

Yuuri in haskell_blah
кана
это блах
Да, тут же хаскель оффтоп?
источник

к

кана in haskell_blah
источник

A

Antonio in haskell_blah
> Idris is a much simpler language :)

вот он SimpleHaskell
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Antonio
> Idris is a much simpler language :)

вот он SimpleHaskell
Что, не правда?
источник

A

Antonio in haskell_blah
Oleg ℕizhnik
Что, не правда?
разве Edwin Brady станет врать?
источник

к

кана in haskell_blah
ну, это правда
источник

A

Andrey in haskell_blah
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Шок
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Rust held onto it’s spot as the most beloved language among the professional developers we surveyed. That said, the majority of developers who took the survey aren’t familiar with the language.
источник

A

Andrey in haskell_blah
Leonid 🦇 Onokhov
Rust held onto it’s spot as the most beloved language among the professional developers we surveyed. That said, the majority of developers who took the survey aren’t familiar with the language.
из тoй же серии, чтo и:
> не читал, нo oсуждаю
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Наоборот же
источник

A

Andrey in haskell_blah
ну oбщее у них в aren't familiar
источник

Y

Yuuri in haskell_blah
Oleg ℕizhnik
Что, не правда?
Поддерживаю
источник

AV

Alexander Vershilov in haskell_blah
Раз тут всё кроме хаскеля неоффтоп, то спрошу, может вы(или у вас) есть знакомые dev-ops у нас тут вакансия есть (писать можно и мне если что):

#вакансия #fulltime #devops #удалёнка

Город и адрес офиса: г. Москва, метро Динамо

Формат работы: офис и/или удалёнка

Занятость: полная

Зарплатная вилка:  150 000 фикс на руки

Описание вакансии:

Ищем человека для развития инфраструктурных сервисов на проект Сириус.Курсы: https://edu.sirius.online !

Рассмотрим уровень от junior до middle — главное это желание расти и развиваться как Kubernetes Application Developer и Kubernetes Administator.

Мы представляем собой образовательный некоммерческий проект, где обучение для детей и всех желающих является абсолютно бесплатным. Сервис объединяет в себе традиционное и дистанционное обучение, а также предлагает практические задачи для применения полученных знаний.

Проекту чуть больше года, разработка серверных компонент ведётся на Haskell и GoLang. Уже сейчас наши курсы работают в совершенно ином формате по сравнению с традиционными платформами обучения, но в планах запустить ещё много других интересных возможностей.

На текущий момент у нас достаточно большая команда разработки, в которой есть UX/UI-дизайнер, фронтенд-разработчики, тестировщики, DevOps-инеженеры и два Haskell-разработчика.

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

Наш офис находится в Москве, но мы рассматриваем и варианты удалённой работы. Прямо сейчас у нас открыта вакансия DevOps-инженера, но возможности перехода на более сильные позиции в будущем также имеются.

Наши технологии одним списком:
React, Haskell, GoLang, PostgreSQL, Redis, MINIO, Яндекс.Облако, ESXi, Kubernetes, Rancher, EFK, Grafana, Prometeus, GitLab CI/CD, HELM.

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

Название компании:
г. Сочи, Фонд «Талант и успех» (Образовательный центр «Сириус»)

Контакты:
@szemskov
szemskov@sirius.online
источник

R

Roman in haskell_blah
Можно было просто придумать штраф в 1000000 рублей за нарушение. то есть если ты на карантине и нарушил и тебя на этом поймали, то платишь лям + едешь в резервацию. И пару тройку показательных поимок со скандалом. Безо всяких мониторингов, а то понапридумали себе что все граждане потенциальные нарушители и никому верить нельзя.
источник

AV

Alexander Vershilov in haskell_blah
Нужно просто начислять гражданнам баллы за то, что они заклдывают других граждан!
источник