README

这个库背后的主要有两个想法。

HasPHP 将这些结合在一起。

安装 composer 后，在您的项目中输入

composer require xcgpseud/hasphp

HasPhp 将确保初始数组中的任何项与指定的类型相同。当使用对象时，它将确保它们都与数组中的第一个对象类型相同。

以下是一些用法示例

要获取 0 到 200 之间所有奇数的乘积并获取这些数的和

\HasPhp\Types\Ints::with(range(0, 200))
    ->filter(fn (int $i): bool => $i % 2 != 0)
    ->map(fn (int $i): int => $i * 2)
    ->sum();

要获取所有 18 岁以上的人

\HasPhp\Types\Objects::with($peopleArray)
    ->filter(fn (Person $x): bool => $x->getAge() > 18);

如 map 和 filter 等函数返回 IterList，因此您可以在其末尾链式调用更多函数。要获取数组，请使用 ->get()

所有函数

签名顺序与列表中的数组 -> 参数 -> 返回值与 Haskell 的顺序相反。

例如，Haskell 的 filter 是 (a -> bool) -> [a] -> [a]，因为它被这样调用：filter (even) [5, 1, 2, 7]，而 Hasphp 的则是 [a] -> (a -> bool) -> [a]，因为我们先定义了列表。

目前 HasPHP 没有文档，但请保持关注，因为我计划很快添加。 这将改变贡献指南。

xcgpseud / hasphp