VY
в гисте чувак на простых примерах разжевывает как понимать обычные и тройные "сиськи": https://gist.github.com/rebcabin/375cc457241ba7d8ee90cb48312b5c9d
Size: a a a
2019 March 29
ЗП
в гисте чувак на простых примерах разжевывает как понимать обычные и тройные "сиськи": https://gist.github.com/rebcabin/375cc457241ba7d8ee90cb48312b5c9d
почитал бы про теорию комбинаторов и знал бы без гистов)
а вообще есть такое https://wiki.haskell.org/Blow_your_mind
а вообще есть такое https://wiki.haskell.org/Blow_your_mind
VY
хм, прикольно
ЗП
видели строковое говно под названием mrr?
VY
нет, а что это? не смог загуглить правильно. точнее я что-то нашёл, но подозреваю, что это с большой вероятностью не то
ЗП
ужасное понимание и еще ошибочное мышление, что это frp
https://github.com/mikolalex/mrr
https://github.com/mikolalex/mrr
VY
значит я то нашел
ЗП
ну и как бы говорить, что rx сложный и все такое это конечно мозгов как у хлебушка
ЗП
в гисте чувак на простых примерах разжевывает как понимать обычные и тройные "сиськи": https://gist.github.com/rebcabin/375cc457241ba7d8ee90cb48312b5c9d
ты видел птиц?
VY
если это то, о чём я думаю, то да
комбинаторы там, всяческие, райские птицы или как-то так
комбинаторы там, всяческие, райские птицы или как-то так
ЗП
если это то, о чём я думаю, то да
комбинаторы там, всяческие, райские птицы или как-то так
комбинаторы там, всяческие, райские птицы или как-то так
ЗП
так вот твои три сиськи это BBB
ЗП
VY
эту классификацию, наверное, помнит наизусть только её создатель %)
ЗП
эту классификацию, наверное, помнит наизусть только её создатель %)
если ты про автора книги, то он умер вроде в 2017 году
VY
полистаю пдфку, если понравится, то куплю, мб часть денег его семье всё равно пойдёт с продаж. хотя там книга 85г, как мой год рождения, да и не думаю, что там супер-большой тираж был. врядли такие книги пишутся для заработка
ЗП
полистаю пдфку, если понравится, то куплю, мб часть денег его семье всё равно пойдёт с продаж. хотя там книга 85г, как мой год рождения, да и не думаю, что там супер-большой тираж был. врядли такие книги пишутся для заработка
как пример вот тебе вывод монадического баинда чисто на комбинаторах
https://twitter.com/xgrommx/status/823648079828185088
вообще комбинаторы это самый маленький Тьюринг полный язык
имеет всего несколько (а есть вариант и с одной) аксиом
ну и всего одна метаоперация - применение
https://twitter.com/xgrommx/status/823648079828185088
вообще комбинаторы это самый маленький Тьюринг полный язык
имеет всего несколько (а есть вариант и с одной) аксиом
ну и всего одна метаоперация - применение
VY
мб скорее "самое маленькое лямбда-исчисление"?
2019 March 30
ЗП
мб скорее "самое маленькое лямбда-исчисление"?
там нет лямбд
это было придумано до ЛИ в 24 году
ну аксиомы это лямбды, а дальше как в лего строишь новый комбинатор
ну и pointfree это тоже благодаря комбинаторам
это было придумано до ЛИ в 24 году
ну аксиомы это лямбды, а дальше как в лего строишь новый комбинатор
ну и pointfree это тоже благодаря комбинаторам