Что означают «овеществление» и «овеществление» в контексте (функционального?) Программирования?

Я много читаю этот термин в блогах о haskell и функциональном программировании (особенно в блоге sigfpe ), но у меня нет подсказка о том, что это значит. В большинстве случаев мне удается не знать этого, но, вероятно, я бы понял тексты намного лучше, если бы знал. Гугл мне не помог. Я теряюсь в технических вопросах.

Также нетехнический смысл мира («превращение абстрактного конкретного») не имеет ' Помогите мне понять, что на практике означает воплощение чего-либо в коде.

Я немного медленен с концепциями информатики, поэтому практические примеры с кодом были бы неплохи. : P