Looks interesting but here's what I don't understand. So many programming languages do not show example code on the homepage. That's like if Mazda didn't show cars on their homepage. Sure, you won't really know what it's like to drive it without getting your hands dirty but at least let me see the trim.
Skip: A programming language to skip the things you have already computed
61–70 of 119 posts
Re: Skip: A programming language to skip the things you have already computed
#62"In Skip the = operator introduces a new variable, but unlike other languages the = operator alone can not modify an existing variable." Using != to assign a value feels really strange to me. I know some languages use := but in those languages typically it's because = is an equality operator. I'm sure there are some exceptions but != just so universally means "not equal" to me.
I too would prefer := or even =!
Re: Skip: A programming language to skip the things you have already computed
#63Looks interesting but here's what I don't understand. So many programming languages do not show example code on the homepage. That's like if Mazda didn't show cars on their homepage. Sure, you won't really know what it's like to drive it without getting your hands dirty but at least let me see the trim.
Re: Skip: A programming language to skip the things you have already computed
#64Looks interesting but here's what I don't understand. So many programming languages do not show example code on the homepage. That's like if Mazda didn't show cars on their homepage. Sure, you won't really know what it's like to drive it without getting your hands dirty but at least let me see the trim.
Maybe a feature list tells you more than a code list might show? Often syntax is the less interesting thing.
When discussing a language which is defined by caching values, we sure do want to see how that looks like in practice.
Re: Skip: A programming language to skip the things you have already computed
#65Re: Skip: A programming language to skip the things you have already computed
#66> Thanks to Skip's tracking of side effects the garbage collector only has to scan memory reachable from the root of a computation But any typical copying GC only has to scan memory reachable from the root(s) of a mutator. I suspect there are more interesting optimisations, but I am unable to discern them from this statement.
Well, imagine your type-system was able to tell you exactly what roots are mutable in what scope. Now you can run a garbage collection on a single scope. That's not how it works, but in pseudo code: collect { // Some code return ...; } Well, if you don't have a type-system that tells you what is mutable, you have to either scan all the mutable roots, or maintain a write-barrier to know what could have captured data i…
I would be more tempted as a compiler writer to delete all the code, since nothing is ever read outside the loop; but such analysis again doesn't depend on mutability type information per se, rather on what mutations occur in the program.
Re: Skip: A programming language to skip the things you have already computed
#67A whole homepage about a programming language, and nowhere on the page does it show the programming language. :-/
Why is seeing the syntax of a programming language so interesting? I think that syntax is one of the least interesting aspects of a programming language.
Re: Skip: A programming language to skip the things you have already computed
#68Earlier quoted context omitted.
In the spirit of testing: Mazda doesn't show cars on their home page. Here is mazda.com: Forbidden You don't have permission to access / on this server. You have to add www. to mazda.com before you can see any damn cars. And it's just one car I see; some fat SUV that looks like it's about to give birth to a pair of sporty twins.
In the USA, Mazda is at mazdausa.com, not mazda.com. There are eight cars on the front page.
Re: Skip: A programming language to skip the things you have already computed
#69It's still very much used at SkipLabs. In fact, it's the language that SQLive is written in: http://sqlive.io Unfortunately, we use a proprietary fork of SKIP, so that's why the OSS project looks dead. We might open-source our version some day, but no plans for now.
... "proprietary fork" and "might open-source"... let us know when you change your stand
Re: Skip: A programming language to skip the things you have already computed
#70Am I correct that the cache invalidation logic is akin to pull streams, unlike computations in projects like S.js/Surplus, Solid.js or Sinuous, that are push-based?