Мож, перед do поставить traceShow msg $ ? из любопытства..

@max_vynogradov будет жить. Поприветствуем!

@antonkri будет жить. Поприветствуем!

Алекс будет жить. Поприветствуем!

node584 будет жить. Поприветствуем!

@FG3452 будет жить. Поприветствуем!

Ничоси

/ban

я ей посоветовал

вернуть?

/stat@combot

combot.org/c/-1001043143583

www.twitch.tv/ekmett

все эти вайтспейс-сенситив штуки из-за синтаксиса, который добавили в расширениях

Оно, кстати, на деле не whitespace sensitive, а от включенности -XBangPatterns зависит.

f ! a = … распарсится как bang pattern

@petrkozorezov будет жить. Поприветствуем!

https://twitter.com/backendsecret/status/1049194448196853760

https://twitter.com/backendsecret/status/1049194448196853760

но зачем?

но зачем?

лишний раз напомнить, что RESISTANCE IS FUTILE, YOU WILL BE ASSIMILATED не помешает

но зачем?

весело

жалко Зефиров не пришёл

было ещё веселее

Зефиров то поумней вас оказался

Зефиров то поумней вас оказался

потому что избегает успеха?

потому что избегает успеха?

Познал суть вещей

устал просто учить хаскель любить

не поверят, тому кто на шарпе и питоне пишет :/

OR-паттерны которые в хаскеле принимают годами и все никак не примут в расте приняли за месяц

OR-паттерны которые в хаскеле принимают годами и все никак не примут в расте приняли за месяц

а это что такое?

https://github.com/rust-lang/rfcs/pull/2535

https://github.com/rust-lang/rfcs/pull/2535

интересно, центрил оказывается может и хорошие идеи генерировать

хотя и catch был не таким плохим от него, но я всё же дизлойс тогда поставил

1) это не его идея 2) хорошая ли она - это еще вопрос

а потом поставил дизлойс под его рфс, который призывал отменить дизлойсы

1) это не его идея 2) хорошая ли она - это еще вопрос

2-е тяжело без практики проверить, а так оно хоть в найтли под feature gate'ом окажется, где его можно будет пощупать

Я 5 лет писал за деньги на языке с или-паттернами, воспользовался этой фичей 2 раза, так что с проверкой практикой у нее наверное вообще не важно дела обстоят

Я 5 лет писал за деньги на языке с или-паттернами, воспользовался этой фичей 2 раза, так что с проверкой практикой у нее наверное вообще не важно дела обстоят

Ну оно, скорее всего, хотя бы не мешает

это-то да

И имплементировать по идее не сложно

Я 5 лет писал за деньги на языке с или-паттернами, воспользовался этой фичей 2 раза, так что с проверкой практикой у нее наверное вообще не важно дела обстоят

OCaml ?

F#

F#

и какого оно было?

да ничего хорошего

да ничего хорошего

а теперь что-то хорошее есть?

Я 5 лет писал за деньги на языке с или-паттернами, воспользовался этой фичей 2 раза, так что с проверкой практикой у нее наверное вообще не важно дела обстоят

В скале постоянно пользуюсть паттерном smth @ (A(...)|B(...))

а теперь что-то хорошее есть?

теперь получше

OR-паттерны которые в хаскеле принимают годами и все никак не примут в расте приняли за месяц

язык просто игрушечный

Ну да, а вот в серьезный продакшен язык их впилить куда сложнее

чем проще фича, тем больше людей хотят пообсуждать пару-тройку лет, ведь в или-паттернах-то каждый разбирается! зато квантифайед констрейнтс пролетает через комитет за месяц в режиме > no comments. But two +1 and otherwise silent agreement. I conclude that we have reached positive consensus. чет мутное, не охота разбираться, лучше промолчим - думают комитетчики

😂

Вроде есть or-pattern на квазиквотах

http://hackage.haskell.org/package/OrPatterns

сейчас моднее на плагинах делать

Timo будет жить. Поприветствуем!

@webuiuxdesigner будет жить. Поприветствуем!

@Neujaskre будет жить. Поприветствуем!

интересно, можно сделать частичное применение для тайпклассов?

ну да

возможно я не понял твой вопрос

class B = A SomeType

class A x y ...

type B = A SomeType

можно, кметтомагией

не тайпалиас

а полноценный тайпкласс

можно, кметтомагией

как?

чтоб я сходу помнил

а полноценный тайпкласс

а в чем будет разница?

через вспомогательные класы

и type

поясню более детально data X a = ... class A x y ... fun :: x -> y type B = A X

ах ConstraintKinds

хм, ну тут каинды не сходятся вроде

а частичное применение я имею ввиду потом instance B SomeType where ...

поэтому я и написал

class B = A X

class A a b where f :: a -> b instance A Int String where f = show class A Int b => B b instance A Int b => B b g :: B String => Int -> String g = f ?

в инстансах B не будет виден метод f

будет

ааа