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. We…
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.
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…
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
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
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…
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…
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. We…
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.
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…
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
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
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…
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…