Телеграмм чат группы haskellru страница 13148

Юрий Богомолов... in Haskell

18:13пожаловаться #1

ЮБ

Hi everyone, Just want to share something I've been excited about recently: making Haskell's type inference do the work of a dependency injection...

Новый контейнер диаев на Реддите сейчас тоже обсуждают, да:
https://www.reddit.com/r/haskell/comments/hvp2k3/dependency_injection_in_haskell/

Но по сути, их особо никто не делает. Есть еще registry от Торреборе, и может еще парочка захудалых библиотек, но это все.

Dependency injection in Haskell

Кстати, про реддит. Там сейчас активно рекламируют Integrated Haskell Platform: ihp.digitallyinduced.com. Выглядит как хороший пример simple haskell — прагматично, минимум фэнси-штук, батарейки в комплекте.
Интересно, кто-нибудь тут его уже пробовал, хотя бы для пет-проектов?

18:20пожаловаться #2

AD

Andrei D in Haskell

Юрий Богомолов

Кстати, про реддит. Там сейчас активно рекламируют Integrated Haskell Platform: ihp.digitallyinduced.com. Выглядит как хороший пример simple haskell — прагматично, минимум фэнси-штук, батарейки в комплекте.
Интересно, кто-нибудь тут его уже пробовал, хотя бы для пет-проектов?

У меня через минут 20 работы упал встроенный в ihp инстанс PostgreSQL, на этом решил испытания отложить. Зарепортать багу, каюсь, энтузиазма не хватило

18:24пожаловаться #3

A

Andrey in Haskell

Andrei D

У меня через минут 20 работы упал встроенный в ihp инстанс PostgreSQL, на этом решил испытания отложить. Зарепортать багу, каюсь, энтузиазма не хватило

звучит страшно

20:32пожаловаться #4

D

Dreamerinnoise in Haskell

бета же

20:33пожаловаться #5

A

Andrey in Haskell

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

20:34пожаловаться #6

АГ

Меня на реддите спрашивают про матрицу:

If it's for hiring people, why there's nothing about formal verification or type theory there?

21:44пожаловаться #7

MK

Maxim Koltsov in Haskell

Расскажи им про академиков

21:45пожаловаться #8

DI

Dmitry Ivanov in Haskell

ожидания: formal verification or type theory
реальность: kubernetes.yaml

21:47пожаловаться #9

АГ

В мягкой форме ответил про академиков. Вот мой ответ:

There is nothing about formal verification, type theory, category theory or even lambda calculus in this table because those fields are not really needed for the usual developer work. Formal correctness proofs are very niche and overrated. If you want to address such kind of work, you'd need a slighly different matrix then

21:48пожаловаться #10

AS

В мягкой форме ответил про академиков. Вот мой ответ:

There is nothing about formal verification, type theory, category theory or even lambda calculus in this table because those fields are not really needed for the usual developer work. Formal correctness proofs are very niche and overrated. If you want to address such kind of work, you'd need a slighly different matrix then

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

22:19пожаловаться #11

АГ

Почему нет? Я же на обсуждение рассчитываю

22:20пожаловаться #12

AS

Почему нет? Я же на обсуждение рассчитываю

Предполагаю, что ваш тред на реддите и есть для обсуждения?
Зачем дублировать здесь информацию?

22:21пожаловаться #13

KV

Kirill Valyavin in Haskell

Меня на реддите спрашивают про матрицу:

If it's for hiring people, why there's nothing about formal verification or type theory there?

Я аж прослезился

22:21пожаловаться #14

АГ

Arseniy S

Предполагаю, что ваш тред на реддите и есть для обсуждения?
Зачем дублировать здесь информацию?

Я хочу обсудить это с местными хаскеллистами, на русском

22:22пожаловаться #15

AF

Alexey Fedotov in Haskell

Очевидно, что русское сообщество хаскеллистов отделено от мирового.

22:23пожаловаться #16

AS

Я хочу обсудить это с местными хаскеллистами, на русском

Ну тогда чего уж там! Пожалуйста, постите сюда все ваши сообщения, мысли, чувства и переживания :)
Давно уже хочется переименовать этот канал в "Granin will learn you a proper Haskell", а то как-то путаюсь все время.

22:24пожаловаться #17

AF

Alexey Fedotov in Haskell

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

22:24пожаловаться #18

АГ

Arseniy S

Ну тогда чего уж там! Пожалуйста, постите сюда все ваши сообщения, мысли, чувства и переживания :)
Давно уже хочется переименовать этот канал в "Granin will learn you a proper Haskell", а то как-то путаюсь все время.

* will teach

22:24пожаловаться #19

AS

Is it correct to say I will learn you some words? - Quora

* will teach

"Granin will learn you a proper Haskell and English", простите.
И да, https://www.quora.com/Is-it-correct-to-say-I-will-learn-you-some-words

Quora

Merriam-Webster’s second definition of “learn” as a transitive verb is “to inform.” Many people use “learn” in this way too. “I’ll learn you some manners boy!” When I picture it in that way, it’s certainly not formal english. It’s more used in inf...