Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/c/63.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
F# FSharpPlus似乎没有通用的“tail”函数_F#_F#+ - Fatal编程技术网
Fatal编程技术网
  • fsharp/
  • F# FSharpPlus似乎没有通用的“tail”函数

F# FSharpPlus似乎没有通用的“tail”函数

f#

F# FSharpPlus似乎没有通用的“tail”函数,f#,f#+,F#,F#+,虽然有一个tryHead和head，如Seq.tryHead和Seq.head，但在FSharpPlus通用函数库中没有相应的tail函数。我是遗漏了什么还是疏忽了 我认为，还有一个泛型空值或谓词可能会很有用。您可以建议使用这些函数 无论如何，如果您想要一个通用的尾部，如果您不希望出现异常，您可以始终执行skip 1或drop 1 关于Empty有一个名为Empty的通用函数/常量，我错过了这个问题，我认为您应该始终使用[F#]标记，否则我和许多其他用户将错过这个问题。

虽然有一个
tryHead
和
head
，如
Seq.tryHead
和
Seq.head
，但在
FSharpPlus
通用函数库中没有相应的
tail
函数。我是遗漏了什么还是疏忽了

我认为，还有一个泛型
空
值或谓词可能会很有用。
您可以建议使用这些函数

无论如何，如果您想要一个通用的尾部，如果您不希望出现异常，您可以始终执行
skip 1
或
drop 1


关于
Empty
有一个名为
Empty
的通用函数/常量，我错过了这个问题，我认为您应该始终使用[F#]标记，否则我和许多其他用户将错过这个问题。