文件名称：Authenticake:可重用、通用、易于验证
文件大小：7KB
文件格式：ZIP
更新时间：2024-06-22 02:28:37
Haskell
正品蛋糕 旨在成为一个高度通用且易于使用的身份验证黑匣子。 ＃动机 Authenticake 提供了Authenticated类型。 这很好，因为它在类型中标识了在某些特定于域的上下文中进行身份验证的内容。 这种类型的，例如，保证launchMissiles如果程序已经验证仅称为()在MissileSilo方面： launchMissiles :: Authenticated MissileSilo () -> IO () 使用()表示我们有一种无需用户的身份验证，就像房门钥匙一样：所有钥匙持有者的钥匙都是一样的，但门与门不同（ MissileSilo就是这个类比中的门）。 基于用户的身份验证也是可能的。 假设的银行程序可能包含以下类型： withdraw :: Authenticated BankAccount Client -> IO WithdrawReceipt
【文件预览】：
Authenticake-master
----Authenticake.cabal(3KB)
----LICENSE(1KB)
----README.md(1KB)
----Authenticake()
--------Authenticate.hs(5KB)
--------Nice.hs(730B)
--------Secret.hs(3KB)
--------PurePassword.hs(1KB)
--------Strict.hs(735B)