小编Cod*_*key的帖子

是否可以将 ML Kit/TFLite 与 java 桌面应用程序集成，而不是让它们在 iOS/Android 设备上运行？

我想在扫描的文档上尝试条形码扫描功能。

谢谢

Haskell初学者在这里.我已经定义了以下类型:

data Nat = Z | S Nat
data Vector a n where
    Nil :: Vector a Z
    (:-) :: a -> Vector a n -> Vector a (S n)
infixl 5 :-

我正在尝试编写函数takeWhileVector,其行为与takeWhile在列表上的行为相同,但在Vectors上.

我的实现如下:

takeWhileVector :: (a -> Bool) -> Vector a n -> Vector a m
takeWhileVector f Nil = Nil
takeWhileVector f (x :- xs) = if (f x) then (x :- takeWhileVector f xs) else Nil

这不会编译并产生以下错误:

Could not deduce (m ~ 'S n0)
from the …