|
|
|
|
|
by ostso
5092 days ago
|
|
Not really -- "any" and "filter" are total functions, but "first" of an empty list is undefined. On the other hand, that also applies to foldl1 and {max,min}imum{,By}, so it's probably not the reason. The reason is probably that in JavaScript you can just say a[0] to get the first element element of a. |
|