Leonid 🦇
Да когда Джереми всё успевает заимлементить? http://hackage.haskell.org/package/happstack-authenticate
Anonymous
Драститя
Aliester
JS принес, братишка?
Anonymous
Бери выше, вижл бейсик
Антон
Anonymous
Вопрос: есть ли какая-нибудь билдятина сисярпные астшки клеить?
Anonymous
Для жиэсов много всякого. А мне бы в сисярп покодогенерировать.
Антон
какие фичи будут в 8.6
литералы с подчеркиваниями 1_000_000
какие фичи могут могут быть в 8.6
for_ [1..10] \xs -> do (без $)
обсуждаемая выше
мутабельные объекты
or-паттерны
deriving via
но большинство не будут, конечно
А что, литералы с подчёркиваниями — хорошая вещь. Не прям то, без чего можно прожить, но жизнь облегчает
Антон
Для жиэсов много всякого. А мне бы в сисярп покодогенерировать.
Генерь в js и транспилируй в c#
Антон
:troll:
A64m
это фактически одна из двух мегафич, которые смогли пройти через комитет по фичам.
A64m
так что хаскелистам надо привыкать любить такие фичи, других уже не будет
доня.
Генерь в js и транспилируй в c#
наконец-то, в 2018 веке, JS стал универсальным языком в который можно компилировать любой язык и компилировать из него в любой другой язык
Евгений
JSIR
Антон
наконец-то, в 2018 веке, JS стал универсальным языком в который можно компилировать любой язык и компилировать из него в любой другой язык
(если чо, я не в курсе, есть действительно транспилятор из js в c#)
Aliester
Жабаскрипт - асм будущего
Евгений
intermediate representation
доня.
какие фичи будут в 8.6
литералы с подчеркиваниями 1_000_000
какие фичи могут могут быть в 8.6
for_ [1..10] \xs -> do (без $)
обсуждаемая выше
мутабельные объекты
or-паттерны
deriving via
но большинство не будут, конечно
> мутабельные объекты
ниасилели полную иммутабельность которую сами же зачем-то придумали и таки решили сделать из хаскеля джаву :troll:
A64m
компилятор подмножества яваскрипта в мсил я припоминаю, вот насчет сишарпа и неподмножества яваскрипта сильно сомневаюсь
Aliester
http://www.m2h.nl/files/js_to_c.php
Антон
доня.
ну если серьёзно то я теперь хочу найти и почитать о чём речь вообще
доня.
но гуглятся только IORef'ы
A64m
https://github.com/simonmar/ghc-proposals/blob/mutable-fields/proposals/0000-mutable-fields.rst
https://github.com/ghc-proposals/ghc-proposals/pull/8
кана
прикольно, что конструктор теперь конструирует тип, который лишь включает в себя наш тип
мало того, это как-то завязывает ghc на IO
кана
не, там некий PrimMonad тайпкласс
Андрей
всем привет!
Андрей
народ, есть у кого нормальное чтиво или хороший пример парсинга с помощью парсека + стейт
Андрей
кажется это называется контекстно-зависимый парсер )
Антон
https://github.com/simonmar/ghc-proposals/blob/mutable-fields/proposals/0000-mutable-fields.rst
https://github.com/ghc-proposals/ghc-proposals/pull/8
> Eq is supported by using reallyUnsafePtrEquality# to compare mutable constructors, but we must ensure that the constructors are evaluated strictly in the same way as we do for dataToTag#.
lol no unsafe
Alexander
хм.. у меня есть cabal index и есть имя модуля который я не знаю где
Alexander
какую магическую команду мне нажать, чтобы мне выдался список пакетов?
Alexander
т.к. вся инфа есть
sherzod
Подскажите, на вот это
Give an example of a type of kind * -> * which cannot be made an instance of Functor (without using undefined).
Подойдет такой ответ?
data CantBeFunctor a = V (a -> Int)
кана
да
кана
есть еще вариант с a -> a
sherzod
спасибо, да понял. интуиция зыбкая, поэтому был не уверен
Alexander
@int_index https://www.reddit.com/r/haskell/comments/7toutl/now_there_is_a_branch_to_play_with/
Alexander
ты вроде просил
Антон
(во всяком случае, я на это надеюсь)
кана
А каким инструментом?
ну вот unity что-то делает
я правда хз насколько там js и насколько там c#
Слава
А каким инструментом?
Что примечательно, тебе ответил именно человек со словом "трап" в нике.
Дмитрий
Интересно, а будет ли прямая компиляция из ghc в wasm? Вернее когда? Как по мне, так это верное решение, которое даст нам достаточно просто й вариант периносимых приложений с gui.
Осталось дождаться :(
Влод
Андрей
😀
A64m
Интересно, а будет ли прямая компиляция из ghc в wasm? Вернее когда? Как по мне, так это верное решение, которое даст нам достаточно просто й вариант периносимых приложений с gui.
Осталось дождаться :(
смотря что понимается под прямой. Сейчас делают анрегистеред (грубо говоря в разы тормознее) через ллвм, судя по рассказам делающих, там много чего уже сделано, надо только системные ф-и на яваскрипте переписывать. Для нормальной компиляции в вебасембли не хватает фич вроде тэйлколов, когда/если они будут - тогда может быть будет и нормальная компиляция
Leonid 🦇
отчего вот на яве, ноде и даже го есть openid сервера, а на хаскеле нет?
Ignat
зато на хачкеле факториалы гораздо выразительнее получаются!
Cheese
ты на Хакадже видел табличку "склад мёртвых серверов"?
Leonid 🦇
Роял с опенайди
Слава
ты на Хакадже видел табличку "склад мёртвых серверов"?
Скажи это, мать твою, скажи "монада" ещё раз!
Aliester
Ты знаешь как в JS называют "функторы"?
Дмитрий
Ты знаешь как в JS называют "функторы"?
Вот блин даже интересно стало, а действительно как?
Aliester
http://sqrtt.pro/functors-ru
Слава
Ты знаешь как в JS называют "функторы"?
- Мыкола, слышал, как эти кляты паскали называют наш null?
- Як?
- Nil!
- Повбывав бы...
Aliester
- Мыкола, а давай саботируем работу кабала?
- А если они нашего стека?
- А стека то за что?
Дмитрий
Чёт мне грустно как-то :( почтим же пашую страну. И СССР и украину как её осколок. Это как же нашим предкам пахать нужно было, чтобы этим падлам ЧЕТВЕРТЬ ВЕКА БЫЛО ЧТО ВОРОВАТЬ... повбывав бы.
Aliester
кхм
Aliester
а Крым чей?
Слава
Ваш!
Дмитрий
Мой, я тут живу.
Дмитрий
Отплытие от Титаника прошло успешно, результатом возвращения в порт доволен.
Зигохистоморфный
morphisms = функции которые сохраняют структуру :D
Anonymous
Отплытие от Титаника прошло успешно, результатом возвращения в порт доволен.
Зато про вас можно сказать, что вас забанили в гугле.
Зигохистоморфный
Да! map однозначно функтор
Дмитрий
Зато про вас можно сказать, что вас забанили в гугле.
Лол, что есть, то есть... но не полностью.
Зигохистоморфный
Монады - это специальный тип функторов, сигнатура которых:
M: A -> A
:D
Зигохистоморфный
doMonads ! http://functionaljavascript.blogspot.in/2013/07/monads.html
Alexander
parket
https://www.npmjs.com/package/monadic.js-playground
Ignat
Монады - это специальный тип функторов, сигнатура которых:
M: A -> A
:D
камон, всем ведь известно, что монада — это эндофунктор!
Ignat
там правда ещё какие-то слова были
Ignat
перед словом эндофунктор