YS
хорошее знание включает базовое
Size: a a a
2020 February 13
YS
если хорошо знаешь, то и базу знаешь
YS
да, логику тоже надо знать
ЗП
да, логику тоже надо знать
пролог?)
BZ
да, нормальная книга чтобы быстро освоить modern C
YS
пролог?)
хотя бы просто логику. Пролог будет плюсом
ЗП
хотя бы просто логику. Пролог будет плюсом
ну скорее всего что-то из FOL?
YS
ну скорее всего что-то из FOL?
что-то, чтобы понять, что хорошее знание включает базовое
ЗП
все эти сколемы, исключение конъюнкции и прочее
a
да, нормальная книга чтобы быстро освоить modern C
а еще существует её перевод от dmkpress
YS
все эти сколемы, исключение конъюнкции и прочее
это мы не каждый день используем, но будет круто, если кандидат с таким багажом придёт
YS
в смысле есть, чем озадачить такого кандидата
BZ
я знал пролог. лет в 15. и кстати хаскел у меня был первым ФЯ, и мне в первое время было некомфортно что в функциях нет бектрекинга и более можного прологовсокго сопоставления с образцом, типа (x,x) - пара с двумя одинаковыми элементами
BZ
т.е. я его воспринимал как ограниченный ЛЯ
BZ
и это вроде общепринятая теор. модель - предикат даёт несколько ответов, а функция - только один, поэтому к примеру class constraints в хаскеле были предикатами, а не функциями
ЗП
я знал пролог. лет в 15. и кстати хаскел у меня был первым ФЯ, и мне в первое время было некомфортно что в функциях нет бектрекинга и более можного прологовсокго сопоставления с образцом, типа (x,x) - пара с двумя одинаковыми элементами
можно конечно всякими LogicT моделировать (прокаченная версия ChurchList). но это все куцее и не то
можно тайпфамелями, но опять же, это все очень громоздко
можно тайпфамелями, но опять же, это все очень громоздко
BZ
ктстаи, тогда пор c++ templates говорили что они ФП язык, но учитывыая наличие SFINAE, видимо тоже логический?
YS
давайте про сам Хаскель в @haskellru
ЗП
ктстаи, тогда пор c++ templates говорили что они ФП язык, но учитывыая наличие SFINAE, видимо тоже логический?
я краем уха слышал, что эти громоздкие шаблоны (порой это читать не возможно) хотят заменить на какое-то подобие контрактов?
YS
а С++ вообще оффтоп