type-systems
Multiple lower type bounds in Scala
I noticed that tuple.productIterator always returns an开发者_如何学Python Iterator[Any] an wondered if it\'s not possible to set multiple lower bounds (so it could be an Iterator of the lowest common[详细]
2023-03-08 00:12 分类：问答Comparing design by contract to type systems
I recently read a paper that compared Design-by-Contract to Test-Driven-Development. There seems to be lot开发者_开发知识库 of overlap, some redundancy, and a little bit of synergy between the DbC and[详细]
2023-03-04 22:27 分类：问答Why can I not make String an instance of a typeclass?
Given: data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo[详细]
2023-03-04 13:40 分类：问答What are "sums-and-products" data structures?
A recent blog post on William Cook\'s Fusings mentions: The key point is that structures in Ensō are viewed holistically as graphs, not as individual values or traditional sums-and-products data st[详细]
2023-03-03 02:56 分类：问答What are the primary theoretical difficulties with adding ML-style modules to Haskell?
It is well known that Haskell-style typeclasses and ML-style modules offer different mechanisms for specifying interfaces. They are (possibly) equivalent in power, but in practice each has their own b[详细]
2023-02-26 15:26 分类：问答What is Haskell's style of polymorphism?
With Haskell\'s type classes it almost seems that it enables ad hoc polymorphism, but 开发者_开发知识库its functions declarations seem parametric polymorphism.Am I mixing my understanding of different[详细]
2023-02-26 06:51 分类：问答Haskell-like type system in C
I was wondering, is it possible to integrate haskell\'s powerful type system into a language like C开发者_StackOverflow中文版, and still be able to do efficent low level programming?There have been at[详细]
2023-02-16 08:19 分类：问答Custom type system in relational database
For an application we capture certain form data.The user can include the various sections at will. The kind of data that needs to be captured in each section is custom per section.Sometimes they are[详细]
2023-02-15 04:31 分类：问答Why does null exist in .NET?
Why can values be null in .NET? Is this s开发者_运维知识库uperior to having a guarantee where everything would have a value and nothing call be null?[详细]
2023-02-13 20:20 分类：问答The Proper Class Design For Designing a Language Type System
I am designing a language for my own purposes. It will have two entities basically, functions and types. e.g.[详细]
2023-02-10 18:51 分类：问答
![Interactive visualization of a graph in python [closed]](https://www.devze.com/res/2023/04-10/09/92d32fe8c0d22fb96bd6f6e8b7d1f457.gif)
加载中,请稍侯......