Dart是否支持函数式编程？

Posted 2021-04-05

Google Dart语言是否允许进行函数式编程？特别是，是否支持以下功能？

• 函数存储为变量（引用），
• 功能性干燥，
• 懒惰的参数

函数式编程的其他功能？

看起来Dart不支持不可变数据。

答案

Dart具有一流的功能，并支持许多函数式编程结构。以下是将函数赋值给变量和curried函数的一些示例：

main() {
  f1(x) => x * 2;         // Define the function f1
  var f2 = f1;            // Assign f1 to the variable f2
  print(f2(7));           // Feel free to call f2 like any other function

  add(a) => (b) => a + b; // Curried addition
  print(add(3)(4));       // Calling curried addition

  var add3 = add(3);      // Combining the
  print(add3(2));         //  concepts
}

正如所料，这会产生：

14
7
5

我不相信懒惰的参数是可能的，你已经注意到有明显可变的数据。

另一答案

取决于“函数式编程”的含义。函数是第一类对象，它涵盖了第1点，有Function.apply可以让你自己实现currying，所以它涵盖了第2点，但除此之外，Dart功能不是很强大（不变性 - 没有，参考透明度 - 没有，懒惰的评价 - 不，你还有什么 - 可能也没有）。

另一答案

关于不变性的小例子：

class Point {
  Point(this.x, this.y);
  int x,y;
  int get sum => x + y;
}
class ImmutablePoint{
  final  int x,y, sum;
  const ImmutablePoint(x,y) :
    this.x = x,this.y = y,this.sum = x + y;
}

class SemiImmutablePoint {
  int _x, _y; // _ -like private but not access protected by the VM.
  SemiImmutablePoint(this._x, this._y);
  int get x => _x;
  int get y => _y;
}

void main() {
  List<int> li = [1,2,3,4,5];
  final List<int> immutableLi = const [1,2,3,4,5];
  li[1] = 10; //ok
  li = [6,7,8]; //ok
  immutableLi[1] = 10; //error because const
  immutableLi = [6,7,8]; //error because final
  var p = new Point(5,10);
  p.x = 10; //ok
  p.sum = 10; // error can't be directly mutated
  var p2 = const ImmutablePoint(5,10); // compile-time constant
  p2.x = 10; //error
}

您可以将FP与Dart一起使用，甚至可以使用没有类型或不变性的语言，如JS。它只是一种风格，它不需要语言中的本机实现。

像Scala FP这样的语言通常使用类型系统实现，因此它更具限制性，更难以无意中破坏。但与此同时，你需要从lib用户那里获得真正复杂类型系统的专业知识，有时甚至是类别理论 - 否则很难从知道这个东西是“monad”或“monoid”或其他任何东西中获益。我可以使用列表而不知道这些是Dart中的monad或者真正有用的“未来”概念。当你实现没有“魔术类型”的FP时，普通开发人员通常会更清楚，更容易掌握。但同时拥有强大的类型系统可以帮助编译器执行高级代码优化并实现更好的静态代码分析。

Category theory for JavaScript programmers - 值得一看。

补充说：现在收藏品有UnmodifiableListView UnmodifiableMapBase UnmodifiableMapView

另一答案

至于你的最后一点，不变性，请参阅：

• https://github.com/google/built_collection.dart
• https://github.com/google/built_value.dart

它为不可变集合和“值类型”提供库和代码库支持。这些有助于弥合OO和函数式编程之间的差距，例如允许对不可变值进行内联“更新”：

var node = new Node((b) => b
  ..left.left.left.right.left.right.label = 'I’m a leaf!'
  ..left.left.right.right.label = 'I’m also a leaf!');
var updatedNode = node.rebuild((b) => b
  ..left.left.right.right.label = 'I’m not a leaf any more!'
  ..left.left.right.right.right.label = 'I’m the leaf now!');

其中“node”和“updatedNode”都是不可变的。本文中的更多细节：built_value for Immutable Object Models。

另一答案

一个改善Dart FP体验的包装进一步加强了https://github.com/vsavkin/fpdart

一个关于尾递归https://code.google.com/p/dart/issues/detail?id=29的公开问题