Are Arrays Functions?
4 months ago
- #programming
- #arrays
- #functions
- Haskell文档将数组描述为定义域与整数连续子集同构的函数
- 语言设计者考虑在语法或类型层面统一数组和函数以改进语言
- K语言在语法层面统一了数组和函数，但缺乏类型系统支持
- Dex研究语言将数组和函数概念化类似，但仍保持为独立类型
- 常见的函数操作（如柯里化和翻转）存在数组等价操作（如解扁平化和转置）
- Futhark因反函数化限制无法在类型层面统一数组和函数
- Futhark的数组切片语法给与函数应用的统一带来挑战
- 提议允许数组应用索引来实现切片，但操作保证机制存在难点
- 未来语言中探索数组与函数共享抽象机制的兴趣
- 扩展AUTOMAP为AUTOFMAP以支持同定义域函数操作的潜力