sighoya

Hmm, I've the problem that virtiofs.exe didn't start on windows 11. I'm using an older version of win virtio of 0.215.2, because it is the newest stable version for windows...

What's the state in 2018? Couldn't we agree to any "inheritance" proposal?

If rust would adopt refinement types for example over where constraints, would it guarantee for a decidable fragment?

@MattWindsor91 I have the feeling that you do not introduce typeclasses directly into C# rather indirectly via "modules" ([modular type classes](https://people.mpi-sws.org/~dreyer/papers/mtc/main-long.pdf)), such that concepts are signatures and c# structs/instances implementing...

@skaller Why you want void to be bottom? void is a singleton type containing only one instance. If you want, this instance could be bottom. A function returning bottom never...

>Your second paragraph is contradictory: first you say void has one instance, and then say instantiating it is illegal because it has no instances. No, instantiating bottom. But when you...

>Since void is a subtype of all types, and in Felix a procedure has type X -> void, a procedure application to a value of type X can be used...

At first, sorry for the long break. Now to the content you provide: >So the idea that procedures return unit is a disaster. It is in Ocaml too. You can...

>By definition a pair of two types A and B is a type P with two functions pi1:P -> A and pi2:P-> B called projections, such that for ANY two...

>This isn't relevant. We're not doing a run time comparison of the functions, we're examining the mathematical definition of a product. In fact, the whole theory of abstraction, category theory,...