社区教程 Wiki

注册登录

创作新主题

社区所有版块导航

Python

python开源 Django Python DjangoApp pycharm

DATA

docker Elasticsearch

问与答闲聊招聘翻译创业分享发现分享创造求职区块链支付之战

aigc

aigc chatgpt

WEB开发

linux MongoDB Redis DATABASE NGINX 其他Web框架 web工具 zookeeper tornado NoSql Bootstrap js peewee Git bottle IE MQ Jquery

机器学习

机器学习算法

Python88.com

反馈公告社区推广

产品

短视频

印度

关注

Py学习 » Python

如何在Python中表示参数化类型?

RussAbbott • 5 年前 • 1576 次点击

在哈斯克尔, foldm foldl )有这种类型。

foldM :: (Monad m) => (a -> b -> m a) -> a -> [b] -> m a

(见 this

Python等价物可以这样声明。

a = TypeVar('a')
b = TypeVar('b')
def foldM(f: Callable[[a, b], Monad], acc: a, xs: List[b]) -> Monad:
    ...

Monad 按类型参数化 a Monad[a] ,但这是无效的。有办法吗?

Python社区是高质量的Python/Django开发社区
本文地址：http://www.python88.com/topic/53974

1576 次点击

文章 [ 1 ] | 最新文章 5 年前

• 1 楼

gmds 6 年前

拥有 Monad 继承自 Generic

from typing import TypeVar, List, Callable, Generic

a = TypeVar('a')
b = TypeVar('b')

class Monad(Generic[a]):
    # your code here
    pass

def foldM(f: Callable[[a, b], Monad[a]], acc: a, xs: List[b]) -> Monad[a]:
    # your code here
    pass

登录后回复

关于移动版

Py学习 - 专注于Python技术发展的社区(原Django社区)