Страница 4 из 4
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 04.05.2012 13:28
vovan
Джимми писал(а):vovan писал(а):Джимми, просвети как в этой строчке поставить брэйкпоинт внутрь лямбды:
ставишь курсор на начало и жмешь Ф9
Спасибо за подсказку.
В C# мало пишу, в основном С++, а в них родимых только на всю строчку или функцию можно бряк поставить.
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 04.05.2012 13:32
vovan
Гость писал(а):Ну, не все в жизни меряется тестируется дебаггером. В GHC Хаскеле дебаггера нет как явления - и ниче, живем...
"Надо себя заставлять"
Так я уже писал:
vovan писал(а):Если трудно написать юнит тесты
Я на Хаскеле не писал, но думаю что вы тестируете с помощью тестов.
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 04.05.2012 14:13
Гость
vovan писал(а):Я на Хаскеле не писал, но думаю что вы тестируете с помощью тестов.
В какой-то мере.
Каждая функция разбивается на отдельные подфункции, которые тоже можно тестировать отдельно.
Т.е. если ты видишь, что все части работают правильно, можешь считать, что целое тоже работает правильно
- в общем, как и в "обычном" программировании, но заметное отличие все-таки есть, трудно сформулировать, какое.
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 04.05.2012 14:15
Simple
В обычном программировании это не так, к сожалению.
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 10.05.2012 18:21
Neurosurg
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 10.05.2012 18:26
Neurosurg
vovan писал(а):Только похоже что в ОСД в основном дремучие компиляторы используют. Также на этом форуме практически нет прогеров.
нормальная реализация функционального языка возможно только с JIT, там слово "компилятор" скорее всего будет заменена "интерпретатор"ом
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 10.05.2012 18:46
Neurosurg
Simple писал(а):Ваще-то должно быть наоборот. Функция ж всегда возвращает одно и то же значение.
вообще-то, почти все прижившиеся функциональные языки разрешают тем или инным образом side-effects, подчеркивается, что это не хорошо, но разрешается, для "связи с реальностью".
есть, однако, функциональные языки, которые упёрлись тут рогом -- функция, а значит не разрешаются side-effects. Как живут в таком мире? -- можешь почитать про монады и, например, на имплементацию языка Clean посмотреть. Впрочем, у всяких там телекомов есть и более другие языки

Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 10.05.2012 21:04
Simple
Ты Эрланг имеешь в виду?
Я более-менее только с схемой знаком. CL же нельзя считать фп.
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 10.05.2012 23:40
Гость
Neurosurg писал(а):Simple писал(а):Ваще-то должно быть наоборот. Функция ж всегда возвращает одно и то же значение.
вообще-то, почти все прижившиеся функциональные языки разрешают тем или инным образом side-effects, подчеркивается, что это не хорошо, но разрешается, для "связи с реальностью".
есть, однако, функциональные языки, которые упёрлись тут рогом -- функция, а значит не разрешаются side-effects. Как живут в таком мире? -- можешь почитать про монады и, например, на имплементацию языка Clean посмотреть. Впрочем, у всяких там телекомов есть и более другие языки

"Это что за "более другие языки" в телекомах?
Re: Предикатная логика, функциональное программирование, Ска
Добавлено: 11.05.2012 13:30
Neurosurg
Simple писал(а):Ты Эрланг имеешь в виду?
угу.
Гость писал(а):"Это что за "более другие языки" в телекомах?
^^
Simple писал(а):Я более-менее только с схемой знаком. CL же нельзя считать фп.
честно говоря, оборачиваясь назад, мне видится, что вся эта борьба за настоящую чистоту ФП нужна лишь в нескольких весьма узких аспектах (проверяемые спецификации, high-availability, high-impact tasks, etc). В подавляющем же количестве ситуаций можно получить все прелести функционального программирования и в "грязных" ФП языках, в том же CL или Python.