Are there any near-production system configuration management frameworks written in functional languages (i.e., Haskell, erlang, etc.)?

Similar to Cfengine2/3, Puppet, Chef.

Definitely interested in purity, nondeterminism, idempotency and conflict detection.

Note Cross-poste开发者_StackOverflow中文版d due to the nature of the question not falling neatly into any particular domain.

Update: Not yet, however here are some early projects:

Python: kokki, cdist

Perl: Thorium

:UPDATE:

The most major development is an equivalent and better solution: Fixing package / management (which is to handle conflict resolution and allow for side-by-side.

NixOS is the ZFS of configuration management.

salt is old news, not impressed. Look for ZeroRPC implementation from dotcloud btw.