blocks|key|3824981|text|我认为名副其实的“设计模式”最有用的东西之一就是“幻影类型”技术。这是一种在类型参数中编码静态信息的或多或少系统化的方法。请看一些示例：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|3824982|3824983|Haskell+wiki|unordered-list-item|offset|length|3824984|an+OCaml+blog|3824985|a+Haskell+blog|3824986|3824987|你可能还会对奥列格的一个相关小把戏感兴趣：Lightweight+static+capabilities+(与单中杰合著)。|3824988|entityMap|0|LINK|mutability|MUTABLE|url|http://www.haskell.org/haskellwiki/Phantom_type|1|http://camltastic.blogspot.com/2008/05/phantom-types.html|2|http://neilmitchell.blogspot.com/2007/04/phantom-types-for-real-problems.html|3|http://okmij.org/ftp/Computation/lightweight-dependent-typing.html#Lightweight^0|0|0|0|C|0|0|0|D|1|0|0|E|2|0|0|L|V|3|0^^$0|@$1|2|3|4|5|6|7|12|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|13|8|@]|9|@]|A|$]]|$1|C|3|D|5|E|7|14|8|@]|9|@$F|15|G|16|1|17]]|A|$]]|$1|H|3|I|5|E|7|18|8|@]|9|@$F|19|G|1A|1|1B]]|A|$]]|$1|J|3|K|5|E|7|1C|8|@]|9|@$F|1D|G|1E|1|1F]]|A|$]]|$1|L|3|-4|5|6|7|1G|8|@]|9|@]|A|$]]|$1|M|3|N|5|6|7|1H|8|@]|9|@$F|1I|G|1J|1|1K]]|A|$]]|$1|O|3|-4|5|6|7|1L|8|@]|9|@]|A|$]]]|P|$Q|$5|R|S|T|A|$U|V]]|W|$5|R|S|T|A|$U|X]]|Y|$5|R|S|T|A|$U|Z]]|10|$5|R|S|T|A|$U|11]]]]

I think one of the most useful things that would deserve the name "design pattern" is the "phantom types" technique. It is a more-or-less-systematic way to encode static information in a type parameter. See some examples :

<ul>
<li><a href="http://www.haskell.org/haskellwiki/Phantom_type" rel="noreferrer">Haskell wiki</a></li>
<li><a href="http://camltastic.blogspot.com/2008/05/phantom-types.html" rel="noreferrer">an OCaml blog</a></li>
<li><a href="http://neilmitchell.blogspot.com/2007/04/phantom-types-for-real-problems.html" rel="noreferrer">a Haskell blog</a></li>
</ul>

You may also be interested in a related Oleg wondertrick : <a href="http://okmij.org/ftp/Computation/lightweight-dependent-typing.html#Lightweight" rel="noreferrer">Lightweight static capabilities</a> (with Chung-chieh Shan).

blocks|key|3825040|text|您可能会查看the+design+advice+for+Haskell，特别是最近一些关于将强属性嵌入到类型系统中的研究论文：|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|3825041|3825042|让库里-霍华德去工作，2005年ACM+SIGPLAN研讨会论文集。塔林，爱沙尼亚，74+-+85,2005|unordered-list-item|3825043|Language-Based程序验证通过表达类型马丁·苏兹曼和拉兹万·沃库。在编程语言中满足函数式编程的程序验证(PLPV'06)|3825044|Typed+Contracts+Ralf+Hinze，Johan+Jeuring和Andres+Loh。|3825045|轻量级信息流安全库在Haskell+A+Russo，K+Claessen，J+Hughes。|3825046|3825047|这里还没有标准的方法，尽管有许多关于个别问题的很好的例子。|3825048|entityMap|0|LINK|mutability|MUTABLE|url|https://stackoverflow.com/questions/3077866/large-scale-design-in-haskell/3077912#3077912^0|6|T|0|0|0|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|Y|8|@]|9|@$A|Z|B|10|1|11]]|C|$]]|$1|D|3|-4|5|6|7|12|8|@]|9|@]|C|$]]|$1|E|3|F|5|G|7|13|8|@]|9|@]|C|$]]|$1|H|3|I|5|G|7|14|8|@]|9|@]|C|$]]|$1|J|3|K|5|G|7|15|8|@]|9|@]|C|$]]|$1|L|3|M|5|G|7|16|8|@]|9|@]|C|$]]|$1|N|3|-4|5|6|7|17|8|@]|9|@]|C|$]]|$1|O|3|P|5|6|7|18|8|@]|9|@]|C|$]]|$1|Q|3|-4|5|6|7|19|8|@]|9|@]|C|$]]]|R|$S|$5|T|U|V|C|$W|X]]]]

You might look at <a href="https://stackoverflow.com/questions/3077866/large-scale-design-in-haskell/3077912#3077912">the design advice for Haskell</a>, and specifically, some of the more recent research papers on embedding strong properties into the type system:

<ul>
<li>Putting Curry-Howard to Work
Tim Sheard, Proceedings of the 2005 ACM SIGPLAN workshop on Haskell. Tallinn, Estonia, 74 - 85, 2005</li>
<li>Language-Based Program Verification via Expressive Types
Martin Sulzmann and Razvan Voicu. In Programming Languages meet Program Verification (PLPV'06)</li>
<li>Typed Contracts for Functional Programming
Ralf Hinze, Johan Jeuring and Andres Loh.</li>
<li>A Library for Light-weight Information-Flow Security in Haskell
A Russo, K Claessen, J Hughes .</li>
</ul>

There's no standard methodologies here yet, though there are many many nice examples of individual problems.

I'm currently trying to figure out which aspects of my program can be statically type checked by the scala compiler. After reading <a href="https://stackoverflow.com/questions/5558060/using-types-to-model-arbitrary-constraints-for-compile-time-checking">this question</a> I came up with the idea of design patterns for types. I find it pretty complicated to get my head around what might be possible with Scala's type system. So I'd like to look at practical usages (not peano arithmetic or stuff like that). Simple patterns that reappear often in normal code.

Does anyone know of any blogs or even books that deal with this question? Preferably in Scala, but it might also be useful for other languages.

Design patterns for static type checking

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

我目前正在尝试找出我的程序的哪些方面可以由scala编译器进行静态类型检查。在阅读了之后，我想到了类型设计模式的想法。我发现理解Scala的类型系统的可能性是相当复杂的。所以我想看看实际的用法(不是peano算法或类似的东西)。在普通代码中经常重新出现的简单模式。有没有人知道关于这个问题的任何博客甚至书籍？最好是在Scala中，但它也可能对其他语言有用。

问静态类型检查的设计模式
EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问静态类型检查的设计模式EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问静态类型检查的设计模式
EN