Keean Schupke

I think structs/objects would probably start with an upper case letter. On reflection I think I would prefer to keep the 'one right way to do things' principle, and sacrifice...

@shelby3 Think of it like this, CPUs like threadripper are best when you have threads that need to take different paths, or run different tasks. GPUs are best when all...

@shelby3 A good parallel language should have different syntactic structures to represent these different kinds of parallelism, so the programmer is clear how things will execute and how much they...

@shelby3 I am not sure, I think for most people performance is more important than security. I mean you can still exploit "rowhammer" on DRAM, but people are still using...

Hi NodixBlockchain, you are taking a very different approach to types than I am. What I am interested in is proofs about programs, and generics algorithms. These roughly correspond to...

> Unlike javascript, there is still a concept of typed object, can distinguish different type of object in an array, and it's not completely type free like js. JavaScript has...

> The GC in V8 JavaScript can mark-and-sweep incrementally to avoid pauses. Firefox's GC does not seem to be so clever, I get frequent pauses if I do not try...

What you are describing is a parser. However we can statically type the output of a parser by requiring it to confirm to a known interface. As such parsers produce...

But not all values are valid. Take Unicode strings, some values are not allowed. Also you may want a non-zero number (to avoid division by zero). In the general case...

Yes, so you need a parser/runtime type check whenever you cross a Ring boundary (which includes sending data to a different computer). All other type checking can be done statically....