VL
А хотелось бы иметь в коллекции ресурс, посвященный лямбда-исчислению, но написанный для смертных разработчиков, а не для математиков.
Size: a a a
2019 May 12
R:
У меня нет проблемы с elm. Я задал вопрос потому что речь зашла о стратегиях вычисления. К примеру, сейчас я прохожу курс по Haskell на Stepik, и там гораздо полнее раскрывается тема лени. Но у меня по-прежнему есть ощущение, что я должен нечто воспринять как данность. А книги по математической логике, на которые я наталкивался, обычно начинаются с суровой математики
R:
Я этот ресурс советую
VL
Я прочитал.
VL
Хочу про редукцию, экспансию, индукцию, s k i, вот это всё
R:
Я прочитал.
??????
R:
Тут же буквально ничего
VL
Нестрогая семантика - там про редексы, whnf, seq
VL
Короче есть немного
VL
То, что на картинке перечислено - вроде 1 из 5 разделов
R:
То, что на картинке перечислено - вроде 1 из 5 разделов
Хм, ну тогда можно посмотреть
RT
Хочу про редукцию, экспансию, индукцию, s k i, вот это всё
Так все таки какого типа задачи вы сможете решать с этими знаниями, но не можете с текущими?
VL
Я же говорю, проблемы нет.
AR
То, что на картинке перечислено - вроде 1 из 5 разделов
Там второй курс есть еще на 5 разделов
RT
Я же говорю, проблемы нет.
Так я и не говорю про проблемы. :) Раз такое желание появилось, значит какая то цель есть ?
VL
Понимать полнее, почему вещи такие, какие есть.
VL
Там второй курс есть еще на 5 разделов
Ага, и тоже интересный.
2019 May 13
MP
скажите, а если я хочу сделать pushUrl после какого-то действия (например, после submit формы) в другом модуле, то мне нужно в его init прокинуть NavKey из главного модуля? То есть так работает, но насколько это ок - не знаю) в доке и в real-world-example не нашел примера, а в курсе для 0.18 (который прохожу) там старый
Navigation.newUrl2019 May 14
AK
Либо так, либо хранить в корневой модели и отдавать в суб-модуль на `update`