Infinite Dimensional Dynamically Typed