Live data from Hacker News

Skip: A programming language to skip the things you have already computed

skiplang.com

31–40 of 119 posts

Re: Skip: A programming language to skip the things you have already computed

#31
post #10

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.

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

#32
post #14
post #10

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.

Great feedback! This is a big oversight.

Do you have any example code that highlights the caching idea described on the main page?

Re: Skip: A programming language to skip the things you have already computed

#33
post #12

It'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.

If done right, SQLive is the sort of thing that could entirely change the way many applications are written. Solving the problem of real time collaboration at the database level has been a dream of mine for years. Unfortunately I'm doubtful that existing RDBMSs will be able to integrate such a thing, seeing how shoddy implementations of materialized views have been.

I really hope you are successful in tackling this problem and that you can share your work.

Re: Skip: A programming language to skip the things you have already computed

#34
post #30
post #18

A 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.

It’s actually the opposite: one will be writing that syntax when using the language if it’s a chore to write then nobody will want to use the language. Also it’s easier to understand what a language is doing looking at code than a technical document.

Re: Skip: A programming language to skip the things you have already computed

#35
post #30
post #18

A 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.

I can't find any code that highlights the main feature of the language. Only example programs like hello world, arithmetic, etc. which are fairly useless.

Re: Skip: A programming language to skip the things you have already computed

#36
It’s not like memoisation and thunks are new features. What has this language added in this space I can’t do in say Haskell?

>written by a bunch of html/js developers

Ah so because they have rediscovered something it’s meant to be revolutionary?

Re: Skip: A programming language to skip the things you have already computed

#37
post #30
post #18

A 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.

It's nice to be able to see what a new language is able to express easily. Have you ever browsed Rosetta Code? I find syntax interesting because it shapes how a language is used.

https://rosettacode.org/wiki/Rosetta_Code

Re: Skip: A programming language to skip the things you have already computed

#38
post #15

Earlier quoted context omitted.

Even worse, the "tutorial" is a challenge of sorts, where you have to guess at the right answer given hints.

Sure, that's a problem, but once you've figured out the answers you can just skip them next time.

Makes me want to skip the language entirely.

Re: Skip: A programming language to skip the things you have already computed

#39
post #12

It'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.

If done right, SQLive is the sort of thing that could entirely change the way many applications are written. Solving the problem of real time collaboration at the database level has been a dream of mine for years. Unfortunately I'm doubtful that existing RDBMSs will be able to integrate such a thing, seeing how shoddy implementations of materialized views have been. I really hope you are successful in tackling this p…

Thanks! You can try the version in the site for testing if you want! If you want to build something, let us know!

Re: Skip: A programming language to skip the things you have already computed

#40
It seems the last blogpost was from Aug 2018 [1] and last commit in the repo from June 2021 [2], so it doesn't look very maintained at the moment of writing this comment (Feb 2022)

[1]: http://skiplang.com/blog

[2]: https://github.com/skiplang/skip

Post reply on HN