Haskell has the first four of those features, although it can't directly use the disk or figure out what data structure you'd need.