Linker:
呵呵
其实,用Haskell悟道非常的好
禹呈:
还是你说像lua那样就够了?
Linker:
因为,没悟道透彻就不会用
我觉得js很lua是同样的 道
禹呈:
不用悟透彻也会用的语言也有
Linker:
恩
禹呈:
比如python
Linker:
那是
对的
python其实是better c++
禹呈:
o?这么有洞察力的见解
Linker:
其实,没有语言是真正独立的
都是参照以前的语言造出来的
禹呈:
js貌似不允许多返回值吧?
Linker:
但是,很多新语言并没有领悟到真谛就开始造了
比如D语言
禹呈:
商业软件都是这样的
D有商业软件背景
这就是商业和开源的区别
Linker:
恩
多返回值??
直接返回一个object
不就行了
还有就是一个[]
[1,2,3,]
这不就是多返回值
Sent at 4:24 PM on Friday
Linker:
不是么
没转过弯?
Sent at 4:27 PM on Friday
禹呈:
no
多返回值
其实
具有划时代的意义
不是一个简单的打个包的问题
这是一场变革
函数是单入口单出口的
入口可以多个值
出口却一般只有一个
这里面暗示了一个精神
函数的出口入口地位是不对等的
然而
据我最新的悟道成果
它们
应该是对等的
酱子
Linker:
恩
对的
禹呈:
函数
Linker:
所以异常就没必要了
禹呈:
是接成管道网络的一个个IC
Linker:
其实lua的协程就是异常
禹呈:
听说过一种无返回值风格:
Linker:
其实lua的协程就是异常
禹呈:
stackless风格
Linker:
lua的协程就是一种无返回值的
禹呈:
每个函数都是f(a, b, c, ..........., callback)
Linker:
就是协程嘛
禹呈:
函数没有return
Linker:
你站高点看
协程就是异常
禹呈:
出来,就是callback(x, y, z, ..........)
Linker:
没差别
禹呈:
f(a, b, c, ............, on_return)
这就是协程不假
不过
协程也只是一个推论
而底下的“公理”
叫continuation
Linker:
恩,是啊
咔咔
你也悟道了
咔咔
禹呈:
多返回值,就是对continuation的直接支持
scheme里有call/cc
Linker:
恩,是啊,lua的多返回值是非常不同于别的语言的设计
禹呈:
lua里的对应物,不是coroutine
Linker:
是?
禹呈:
而是尾递归优化与多返回值的联合
Linker:
哦,我现在就这么用呢
代码我给你看过了
禹呈:
咔咔
Linker:
咔咔
禹呈:
ok,悟道完毕
Linker:
其实,Erlang也是这个道
只是Erlang加入了OO思想
禹呈:
烫手山芋模型?
Linker:
FP壳
OO肉
所以比较容易接受
禹呈:
壳在肉外面……还是个爬行动物
Linker:
Lua的这种把高级特性很隐晦的表的的语言比较少见
Haskell想反
是OO肉在外面,FP核心在里面
Lua是FP核心在里面藏着,一堆杂七杂八的东西在外面
禹呈:
肉在外面,这个应该是哺乳动物了
Linker:
恩,是啊
我觉得是
唉
可惜能悟到这些道人太少
分享到:
相关推荐
本书是一位有20多年职场经验的IT企业高管撰写的一系列有关职场悟道的短文集成,讲述的是在企业里如何修炼自己,如何摆平自己的心态,怎样做到“世事洞明”和“人情练达”,如何“搞定老板”,怎样做到工作和生活平衡...
综上所述,"java悟道心得"包含了Java语言的基础与进阶,实战与理论,个人技能与团队协作的全方位理解。这份20年的职场心经,是对Java开发者的一份珍贵指导,也是对所有IT从业者职业发展的重要启示。
悟道3.0的全面开源标志着人工智能领域又一重大进展,尤其在自然语言处理和生成内容(AIGC)方面。本次演讲聚焦于两大AI巨头的对话——Yann LeCun与Max Tegmark,他们都是全球AI研究的领军人物,各自在深度学习和神经...
1. 悟道3.0全面开源:悟道3.0是一个开源的大语言模型,具有中英双语知识、商用许可,符合国内数据要求。 2. 自监督深度学习:黄铁军院长提到,悟道3.0是基于自监督深度学习的,实现了真正的人工智能目标。 3. 强化...
本书是一位有20多年职场经验的IT企业高管撰写的一系列有关职场悟道的短文集成,讲述的是在企业里如何修炼自己,如何摆平自己的心态,怎样做到“世事洞明”和“人情练达”,如何“搞定老板”,怎样做到工作和生活平衡...
例如,谜语解析中,“悟道西岳”与“华山参”的关联解释,就需要准确地阐述“悟道”与“参”的联系。 2. 语言表达的鲜明性:体现在谜语和辩题的论述中,要求表达清晰,观点鲜明。如反方和正方的辩论,正方反驳时...
大语言模型,如BERT、GPT系列或中国的悟道、通义千问等,是深度学习在NLP领域的先进成果。这些模型通过训练海量文本数据,学会了理解语言的深层次结构和含义,从而能进行诸如问答、对话、翻译等多种任务。在“垂直...
悟道Qwen在多模态和跨语言方面有独特优势,可以处理复杂任务。 5. **搜狗汪仔**:搜狗公司开发的AI助手,具有智能问答、聊天对话等功能,用户可以在多种场景下与其互动,获取所需信息。 这些替代品通常基于大规模...
c 语言程序program(待整理)
2. 语言文字训练:教学要求中指出,课程应重视语言文字的学习,通过语言文字训练来理解文章内容,做到“因道学文,以文悟道”,使语文课成为真正的语言训练课程。 3. 学习目标:学生需学习课文中的优美生动语言,...
4. **京东云悟道**:京东云研发的预训练语言模型,悟道能够进行跨领域的知识检索和理解,提供精准的问答支持,尤其在电商、物流等京东主营业务场景下有显著优势。 5. **360搜索**:奇虎360推出的智能问答系统,通过...
Kotlin是一种运行在Java虚拟机上的静态类型编程语言,由JetBrains公司负责开发...心印在禅宗中指的是一种引导悟道的禅学难题或公案,而在Kotlin的学习中,它指的是一系列设计用来加深理解特定概念和编程技巧的练习题。
5. **京东的悟道**:京东的悟道系列模型致力于解决电商领域的实际问题,如商品推荐、用户服务、智能客服等,通过深度学习技术优化用户体验,推动零售行业的智能化升级。 这些AI大模型的成功离不开大数据、高性能...
- **悟道(1.0/2.0)**:在中文自然语言处理、文本生成等方面取得突破。 - **盘古系列**:针对多模态、多语言场景提供解决方案。 - **阿里M6/PLUG**:服务于阿里巴巴集团内部及合作伙伴的智能应用。 - **百度ERNIE**...
国内,悟道、盘古NLP/盘古α、阿里M6/PLUG和ERNIE 3.0等模型在不同场景下展现出优秀的性能,为国内的AI技术研发和应用提供了有力支持。 四、大模型产业落地模式 1. API模式:企业通过提供API接口,让用户便捷地调用...
大模型通常指的是拥有数十亿甚至上千亿参数的深度学习模型,如BERT、GPT系列和中国的悟道、通义千问等。这些模型的规模之大,使得它们能够捕获更丰富的语言结构和语义信息,从而提高在各种任务上的性能。 预训练是...
朗读课文时,教师应引导学生感悟语言,理解文本的意义、情境和深层含义,通过悟象、悟道、悟情和悟法来提升语感,使学生能与文本产生情感上的共鸣。同时,鼓励学生欣赏并创造性地背诵课文,如通过表演等方法增强记忆...
以中文为核心的大模型,如“悟道1.0”中的文源、文澜、文溯和文汇等模型,都具备了超大规模的参数量,从而在各项任务上展现出了非凡的能力。例如,文源模型拥有26亿参数,能进行识记、理解、检索、数值计算和多语言...
例如,悟道2.0、盘古、文汇、PLUG、PLATO-XL、ERNIE3.0以及神舟等模型,它们的参数量从几十亿到上百亿不等,使用的训练数据也从几百GB到TB级别。这些模型的训练需要大量的计算资源,通常采用高性能GPU如Nvidia A100...