Откуда появился Option [T] в Scala?

Я все еще новичок в разработке Scala, но я нашел концепцию Option [T] действительно потрясающей, особенно сопоставление с образцом при использовании с некоторыми и никем. Я даже реализую это до некоторой степени в проекте C #, над которым я работаю в данный момент, но, поскольку в нем нет сопоставления с образцом, это не так уж и здорово.

Настоящий вопрос в том, где теория, лежащая в основе этого объекта? это что-то особенное от Scala? Функциональные языки? Где я могу узнать об этом подробнее?