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

Это тот который "Зависимые типы в массы!" ? ;)

в дотти есть какие-нибудь хайлайты?

Это тот который "Зависимые типы в массы!" ? ;)

да

видел я на лоре одного хаскеллиста, который называл коды котами. А бинды - бинтами

байнды, про котов это у меня один там понабрался Ivan_что-то-там

Привет! А есть в хаскеле что нибудь с сигнатурой forall f. m f -> f a ?

что-то странное если добавить например Functor f то мог привести пример

что-то странное если добавить например Functor f то мог привести пример

О давай

f: * -> *

а блин f a

foo :: forall f . Functor f => m f -> f a foo _ = pure undefined

=)

Отлично ))

Applicative только

просто тут a нужно любое, которое попросит пользователь

вызывающий foo

и в параметре его нет

так же поскольку на m нет ограничений, то m f можно использовать только как прокси, особенно т.к. f :: * -> *

вообще все это ходит вокруг Co/Yoneda но там по другому

Я не настощий сварщик (на хаскеле не пишу), но это что то типа этого, за синтаксис не бейте data Foo f = Foo { bar :: String -> f (), baz :: Int -> f String } data Invoke m a = Invoke { run :: forall f . m f -> f a }

то есть это возможность заенкодить вызов функции над Foo-подобными штуками

foobar :: String -> Invoke Foo () foobaz :: Int -> Invoke Foo String

[last news] Haskell to Elm, syntactic differences

[last news] Haskell to Elm, syntactic differences

Про тайп классы не написано

их там нет

Ну я думаю это стоит упомянуть для человека незнакомого с елм.

Ну и с сигналами я что-то так и не разобрался.

их больше нет

начиная с 0.18

Ого

Это давно было?

релиз был в начале осени

https://www.willamette.edu/~fruehr/haskell/evolution.html

А объясните, в чем прелесть elm'a? Выглядит как хаскель-инвалид.

А объясните, в чем прелесть elm'a? Выглядит как хаскель-инвалид.

сравнивать его стоит с другими аналогами :) а не с хаскелем

А объясните, в чем прелесть elm'a? Выглядит как хаскель-инвалид.

ты так говоришь как будто фо фронте есть что-то лучше

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

ну так purescript по идее приятнее (ближе к хаскелю, больше инфраструктура) но с другой стороны у elm приятно смотреть на примеры elm architecture

ну так purescript по идее приятнее (ближе к хаскелю, больше инфраструктура) но с другой стороны у elm приятно смотреть на примеры elm architecture

по идее приятнее, на практике говно

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

но всё таки фраза слабая

стоит чем-нибудь подкрепить

стоит попробовать? )

просто я хз, в чем кайф от всех этих язычков, если по сути на js просто пишут UI со своими либами типа React / Vue.

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

ну так пиши на js ) делов-то

элм не для тебя

А объясните, в чем прелесть elm'a? Выглядит как хаскель-инвалид.

ну вопрос же и стоял, в чем фишка

фишка в том что хаскель-инвалид лучше чем js, очевидно же

в чем фишка писать на хаскеле, когда есть например джава

ну или какие у людей сейчас приорететы

перфоманс там, си

PHP

или джс

можно же на джс что угодно писать

Вы забыли захайпленный го

ну го я еще могу понять зачем и почему

и зачем)

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

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

не взлетит, нечему как-то

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

тут сразу больно то что не видно как он взлетает. и во-вторых то что веб пишут на расте

не взлетит, нечему как-то

Meh Вот заватра хромиус и мозилла объявят, что через пять версий прекратят поддержку js и всё будет

тут сразу больно то что не видно как он взлетает. и во-вторых то что веб пишут на расте

Вон, его в фуррифукс впилили

ок влепили

но его текущий вид не даёт возможности заменить джс

то есть ускорение для джс

Пока нет

Meh Вот заватра хромиус и мозилла объявят, что через пять версий прекратят поддержку js и всё будет

ну сначала апи к дому дадут

ну пока там даже доступа к дому нет

но допилят

потом инфраструктуру сделают

это уже неизбежно кажется

и вот тогда может быть

через десять-двадцать лет

уберут js

Он будет наверняка использваться для того, для чего использовалс флэш

Только круче и полнее

я всеми руками за, конечно же

по идее приятнее, на практике говно

так а всё таки. инфраструктура не развита? лень писать forall? ещё что-нибудь?

так а всё таки. инфраструктура не развита? лень писать forall? ещё что-нибудь?

серьезно, просто попробуй ты будешь писать маленький кусок на "хаскеле" а весь остальной мир вокруг будет на том же js