А еще есть http://www.ocamljava.org

http://cafesterol.x9c.fr/

мне доставляет этот сайт ?

зачем погнившие технологии выкладывать?

http://cafesterol.x9c.fr/

Да, жалко что оно все сдохло. Сейчас бы с удовольствием писал на окамле под android

зачем погнившие технологии выкладывать?

я тоже не знаю почему тебе так нравятся рек схемы

я тоже не знаю почему тебе так нравятся рек схемы

это категорная вещь

Категоричная

?

ну что мне теперь в канал про аниме идти с этим вопросом

сук

бросайте котлин https://eta-lang.org/

Gosu еще есть, прям похож похож на котлин

Не совсем понимаю зачем в 2018 году завязываться на jvm

Да, жалко что оно все сдохло. Сейчас бы с удовольствием писал на окамле под android

Знаю android api, тебе пришлось бы оборачивать так много, что проще уже свою операционку

Не совсем понимаю зачем в 2018 году завязываться на jvm

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

Не совсем понимаю зачем в 2018 году завязываться на jvm

Популярность языка во многом определяется экосистемой и использованием в этих ваших тырпрайзах

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

Эх

Печально ж)

Ну и плюс легко сделать на jvm что то лучше удобнее и прекраснее, чем джава, ибо она убога

там байт-код немного завязан на джаве

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

тип понятие классов уже на байткоде

Те же плюсовики скажут на любую фичу "ну эт можно сделать и у нас, нпдо просто написать пару иероглифов сюда, несколько ключевых слов и воткнуть Boost, да, неудобно, но мы привыкли, что все неудобно, что нам это даже нравится

?

Те же плюсовики скажут на любую фичу "ну эт можно сделать и у нас, нпдо просто написать пару иероглифов сюда, несколько ключевых слов и воткнуть Boost, да, неудобно, но мы привыкли, что все неудобно, что нам это даже нравится

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

ну мб выборка такая у меня

Это престижно, котировать хаскель

Писать на нём разумеется при этом не обязательно

не ну окей ситуация: с плюсовиками можно поговорить про хаскель с джавистами можно послушать подзаебавшие стереотипы

там ыыаыаыаыаы монадки

ыылвовыовы мОНАДЫ

ио это монадка

мы пишем в монадах ыаыаа

F( _ *_ )

ио не монада

Ослик Ио-Ио

поясни

Винни-пуха читал?

не это мб справедливое утверждение

я просто хочу понять о чём он

типо IOAction

может про то что is лучше заменять на has an instance

типо IOAction

не понимаю

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

я сам не понимаю

там ыыаыаыаыаы монадки

Мохнадки

читал где-то

лол

ну это тип про именование

или про что-то существенное

ну это тип про именование

нотацию\

https://wiki.haskell.org/Introduction_to_Haskell_IO/Actions

интересно

Хм, получается диспатч это IO что ли

лень читать но

тип раньше встречал слово эффект

теперь экшон

Я наоборот

ну тип монады выражают эффекты

могут выражать

а во

http://chris-taylor.github.io/blog/2013/02/09/io-is-not-a-side-effect/

это не про монаду

а потом пошли extensible algebraic effect и что-то не то

потом пошли coextensible coalgebraic coeffect

а ну да ожидаемо

ооо

есть идея для пейпера

CoActions

308 людей

кто-то ходит по мемберам в лс и просит их уйти, чтобы держать это число, слишком оно частое тут

лол

CoActions

cocopavliashvili

еее 300 человек в чате

cocoquqareq

еее 300 человек в чате

год назад?

да

Лол

не совсем

сентябрь 2017

Как коперестать кодобавлять ковсему ко?

кокак

косентябрь

козига

ооо

свежо

коаааааааааааааааааааааааааааааааааапчхи

правда наверное уже должно быть такое

козигохистоморфный копрепроморфизм?

https://wiki.haskell.org/Zygohistomorphic_prepromorphisms

чёт ни разу не доходил туда

ну дальше каты

я первые 6 постиг

сорян, украл идею с ко-

кокосички

кокосички эквиваленты сичкам