https://github.com/eigenmethod/mol ооо у них чат есть в телеграме

https://t.me/joinchat/AAAAAEPh3ssTZZjjYRzOwA

9 человек

лол

Бля, что мост что ерикс все это ООП и императивщина

Почитайте про темпоральную логику (frp) это справедливо только при наличии возможности вывода сложных типов

кмк фрп

^

оо так это тот молодел

говорящий что его подход самый лучший

и ОРП есть) ибо Rx сделан на ООП принципах

Спросил в их чате "Чем лучше rxjs?"

я чет открыл доку, а там дичь какая-то

Спросил в их чате "Чем лучше rxjs?"

в плане?

я чет открыл доку, а там дичь какая-то

какую?

какую?

mol

да это вообще странное решение

я как понял нормальный FRP тоже трекает зависимости

^

ну оно же подходит под определение энивей

ну тут кидали пейпер что без типизированного лифта не фрп))

Чят с чего начать погружаться в фп/фрп?

фп или фрп?

http://telegra.ph/Vvedenie-v-FP-06-26

По очереди)

Спасибо)

>фп

лучше не вскрывать эту тему

иначе докатишься до чтения homotopy type theory

ну тут кидали пейпер что без типизированного лифта не фрп))

да

иначе докатишься до чтения homotopy type theory

что в ней плохого)) еще есть рекурсивные схемы из ТК

опять рекурсивные схемы

стикер нужен

что в ней плохого)) еще есть рекурсивные схемы из ТК

ничего плохого.. просто это черная дыра

по типу этого

чем лучше rxjs?

мертвые чаты ето норм

Это не мертвый чат.

нашел вакансию

юху

3 серия 11 сезона ТБВ вообще жесть))

особенно рассказ Шелдона

Дропнул сезонов 5 назад

Они существуют ?

?

@xgrommx что такое frp networks?

фрп нити)

сети

Как гуглить?)

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

А, не)

ну переведешь

гуглом

ну кинь

ну кинь

http://eugenen.github.io/?ui=html#!blog/5431761c6544b261be05

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

mol против

http://eugenen.github.io/?ui=html#!blog/5431761c6544b261be05

?

mol против

а что такое mol с точки зрения формализма?

а что такое mol с точки зрения формализма?

мемы

а что такое mol с точки зрения формализма?

а ООП что?

мем

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

а все началось с этого) -- Free f a = Mu x. a + f x -- Cofree f a = Nu x. a * f x -- Mu < Fix < Nu алгебраическое представление

https://github.com/awkure/purescript-birds

const map = fn => items => items.map(fn) const filter = fn => items => items.filter(fn) Как называются map и filter? =)

point free

point free

?

point free

чо это?)

const map = fn => items => items.map(fn) const filter = fn => items => items.filter(fn) Как называются map и filter? =)

каррированные? странный вопрос

const map = fn => items => items.map(fn) const filter = fn => items => items.filter(fn) Как называются map и filter? =)

хиломорфный зигопрепроморфизм категории эндофункторов категории типа items по-моему

хиломорфный зигопрепроморфизм категории эндофункторов категории типа items по-моему

:D

https://www.quora.com/Do-you-agree-with-John-Backus-in-Can-Programming-Be-Liberated-from-the-Von-Neumann-Style-regarding-functional-style-programming/answer/Tikhon-Jelvis?share=46f2db3e

https://twitter.com/tikhonjelvis/status/921203169597591552

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

sbcl — lisp

помню пытался скомпилить игрулю на нём написанную какие-то плохие воспоминания

хотя да лисп должен под это подходить

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

elixir?

я могу в рантайме спросить какие аргументы ожидает функция?

elixir?

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

ээ, я ответил на твой вопрос

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

Не уверен, но вроде да

каррирование оч даже DI, а сервис-локатор это любая модульная система, такая и в хаскеле есть

"каррирование оч даже DI" это вообще не имеет смысла же

Каррирование это скорее некая фабрика

Стопроц это монада кедавра

Пишет

Не

блин, а у меня туговато с этими аналогиями.

Не угадал

лол

хех

ну то есть у DI должна быть логика инициализации/деинициализации?

Полагаю, в ленивом языке инициализация при карринге или ридере (именно карринг с ридером я за ДИ считаю) сама по себе получается

"каррирование оч даже DI" это вообще не имеет смысла же

виды DI - инъекция параметров - инъекция в конструктор - каррирование не?

ну это не все, очевидно)