JSIR

наконец-то, в 2018 веке, JS стал универсальным языком в который можно компилировать любой язык и компилировать из него в любой другой язык

(если чо, я не в курсе, есть действительно транспилятор из js в c#)

Жабаскрипт - асм будущего

JSIR

JavaSript it In Rust?

intermediate representation

какие фичи будут в 8.6 литералы с подчеркиваниями 1_000_000 какие фичи могут могут быть в 8.6 for_ [1..10] \xs -> do (без $) обсуждаемая выше мутабельные объекты or-паттерны deriving via но большинство не будут, конечно

> мутабельные объекты ниасилели полную иммутабельность которую сами же зачем-то придумали и таки решили сделать из хаскеля джаву :troll:

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

http://www.m2h.nl/files/js_to_c.php

JSIR

+

> мутабельные объекты ниасилели полную иммутабельность которую сами же зачем-то придумали и таки решили сделать из хаскеля джаву :troll:

Кстати, да, зачем это в Haskell?

ну если серьёзно то я теперь хочу найти и почитать о чём речь вообще

но гуглятся только IORef'ы

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

хм.. у меня есть cabal index и есть имя модуля который я не знаю где

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

т.к. вся инфа есть

Подскажите, на вот это 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

спасибо, да понял. интуиция зыбкая, поэтому был не уверен

@int_index https://www.reddit.com/r/haskell/comments/7toutl/now_there_is_a_branch_to_play_with/

ты вроде просил

Генерь в js и транспилируй в c#

А каким инструментом?

А каким инструментом?

Это была шутка

(во всяком случае, я на это надеюсь)

А каким инструментом?

ну вот unity что-то делает я правда хз насколько там js и насколько там c#

А каким инструментом?

Что примечательно, тебе ответил именно человек со словом "трап" в нике.

Интересно, а будет ли прямая компиляция из ghc в wasm? Вернее когда? Как по мне, так это верное решение, которое даст нам достаточно просто й вариант периносимых приложений с gui. Осталось дождаться :(

Интересно, а будет ли прямая компиляция из ghc в wasm? Вернее когда? Как по мне, так это верное решение, которое даст нам достаточно просто й вариант периносимых приложений с gui. Осталось дождаться :(

Это тебе даст ровно ничего

?

Интересно, а будет ли прямая компиляция из ghc в wasm? Вернее когда? Как по мне, так это верное решение, которое даст нам достаточно просто й вариант периносимых приложений с gui. Осталось дождаться :(

смотря что понимается под прямой. Сейчас делают анрегистеред (грубо говоря в разы тормознее) через ллвм, судя по рассказам делающих, там много чего уже сделано, надо только системные ф-и на яваскрипте переписывать. Для нормальной компиляции в вебасембли не хватает фич вроде тэйлколов, когда/если они будут - тогда может быть будет и нормальная компиляция

отчего вот на яве, ноде и даже го есть openid сервера, а на хаскеле нет?

зато на хачкеле факториалы гораздо выразительнее получаются!

ты на Хакадже видел табличку "склад мёртвых серверов"?

Роял с опенайди

ты на Хакадже видел табличку "склад мёртвых серверов"?

Скажи это, мать твою, скажи "монада" ещё раз!

Ты знаешь как в JS называют "функторы"?

Ты знаешь как в JS называют "функторы"?

Вот блин даже интересно стало, а действительно как?

http://sqrtt.pro/functors-ru

Ты знаешь как в JS называют "функторы"?

- Мыкола, слышал, как эти кляты паскали называют наш null? - Як? - Nil! - Повбывав бы...

- Мыкола, а давай саботируем работу кабала? - А если они нашего стека? - А стека то за что?

Чёт мне грустно как-то :( почтим же пашую страну. И СССР и украину как её осколок. Это как же нашим предкам пахать нужно было, чтобы этим падлам ЧЕТВЕРТЬ ВЕКА БЫЛО ЧТО ВОРОВАТЬ... повбывав бы.

кхм

а Крым чей?

Ваш!

Мой, я тут живу.

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

morphisms = функции которые сохраняют структуру :D

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

Зато про вас можно сказать, что вас забанили в гугле.

Да! map однозначно функтор

Зато про вас можно сказать, что вас забанили в гугле.

Лол, что есть, то есть... но не полностью.

Монады - это специальный тип функторов, сигнатура которых: M: A -> A :D

doMonads ! http://functionaljavascript.blogspot.in/2013/07/monads.html

- Мыкола, а давай саботируем работу кабала? - А если они нашего стека? - А стека то за что?

:D

doMonads ! http://functionaljavascript.blogspot.in/2013/07/monads.html

Ужас.

https://www.npmjs.com/package/monadic.js-playground

Монады - это специальный тип функторов, сигнатура которых: M: A -> A :D

камон, всем ведь известно, что монада — это эндофунктор!

там правда ещё какие-то слова были

ERROR: S client not available

перед словом эндофунктор

но какая разница

камон, всем ведь известно, что монада — это эндофунктор!

и что? да это эндофунктор с 2-мя естественными преобразованиями

ну а где эндофунктор, там и A → A

всё сходится

всё сходится

* -> *?

k -> k, пора бы уже typelevel monads

это канал о Haskell, это из какой манги?

Надпись неправильная. Вместо "nice" должно быть нечто вроде "damn this world".

А есть теория категорий по понятиям?

я хотел написать спешной комментарий, но вовремя сообразил что написано world а не word

Category theory for computer scientists?

Category theory for computer scientists?

...po poniatiam dlia blatnih.

xxx: а знаете как увольняют хаскель-программиста? "собирай свои монадки и уматывай!"

Карируешь, небось?

Что почитать сейчас из актуального для лучшего понимания теоркрата и хаскеля?

Кнута

Или Канта

На выбор

Кнута

Кнутом тех кто Кнута советует читать

теоркрат? это было бы здорово

по теоркату — Милевского

по Хаскелю — Липовачу

хотя нет, за советами по теоркату лучше в профильный чат идти, а здесь Хаскель, а не теоркат

для лучшего, в смысле, понимание уже есть, а теперь надо лучше?

из всех возможных пониманий требуется выбрать лучшее (по субъективному мнению наблюдателя)

ну как , что такое монада в котах ( scala библиотека ) я знаю, в каких местах удобно использовать тоже знаю, но вот слова Монада в категории C это эндофунктор T: C → C с двумя естественными преобразованиями: η: 1 → T и μ: T ° T → T. для меня скажем немного близки, но есть подохрение, что я азбуку этого всего не до конца понимаю

Нашёл тут , аж 7 лет этой штуке https://habrahabr.ru/post/125782/

хотя нет, за советами по теоркату лучше в профильный чат идти, а здесь Хаскель, а не теоркат

скорее наверное тогда хаскель, пока интересуют прикладные аспекты.