главный прикол никса, что он основан на одной тривиальной идее: взять чисто функциональный язык и добавить в него специальный тип, значения которого хранятся не в памяти, а на диске. этот тип соответствует директориям в фс, и позволяет декларативно описывать, как получить содержимое такой директории