tnowacki

3 ms·

1.
by tnowacki 3y ago
PBS Spacetime did an episode on this just recently! https://www.youtube.com/watch?v=QMFLcmsjOBg In the video, they mention that the models we have for FTL (by bending spacetime) wouldn't generate ripples in this way. W
2.
by tnowacki 8y ago
No. The modes are there so that you don't need to completely switch what you are doing and do a fully copy when you need to memoize; it does not switch the underlying implementation.
3.
by tnowacki 8y ago
I got unflagged! > but can't an object be considered immutable when all its fields are immutable and all its member functions (but the constructor perhaps) are pure? How exactly do you expect to track this accurately without integra
4.
by tnowacki 8y ago
I'll look into removing it. If you want an overview of language features/design. I'd start with the docs: http://skiplang.com/docs/hello_world.html
5.
by tnowacki 8y ago
Where do you see a link to that? We had a specification in the works, but it fell horribly out of date. I wasn't sure that we kept it around
6.
by tnowacki 8y ago
IO is managed through very specific native extensions where updates to that IO source are able to be tracked outside of the language and fed back in. For example, we don't have anything that lets you read from command line or stdin. Bu
7.
by tnowacki 8y ago
No papers unfortunately. As far as results, we saw some great numbers for the effectiveness of the recomputation. The language is self hosted. And the type checker is currently incremental. On my machine the initial type checking of the com