Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

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

skiplang.com

Post reply on HN
Print view View original

81–90 of 119 posts

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

#81

Post by shrimpx »

janjones wrote: post #74
bbarn wrote: post #55

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

But it's not just `!=`, it is `!variable = value`, see [1]. That does not look like "not equal" operator. [1] http://skiplang.com/docs/lvalues.html

Although !x mean "not x" pretty universally.

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

#82

Post by janjones »

shrimpx wrote: post #81
janjones wrote: post #74

Earlier quoted context omitted.

But it's not just `!=`, it is `!variable = value`, see [1]. That does not look like "not equal" operator. [1] http://skiplang.com/docs/lvalues.html

Although !x mean "not x" pretty universally.

Yeah, that's true, but I guess one can distinguish it quite easily when it's on the left side of an assignment.

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

#84

Post by interpenetrate »

FridgeSeal wrote: post #80
interpenetrate wrote: post #33

Earlier quoted context omitted.

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…

Check out the work Materialize is doing as well - similar vein.

I did just that recently. They certainly seem to offer the most complete solution. Definitely worth keeping an eye on.

I had to pass because of its prohibitive license (for now) and the head-scratching bugs I ran into with the direct Postgres source. I also had some concerns about the complexity Materialize would add to architecture of the sort of small apps I typically build.

I know this is unappreciative of the complexity of the problems that Materialize solves, but it would be so nice if Postgres just had observable (with triggers), no-compromise incremental materialized views.

What sort of experiences have you had with Materialize, if any?

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

#85

Post by coldtea »

kazinator wrote: post #28
mcluck wrote: 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.

>You have to add www. to mazda.com before you can see any damn cars.

Who said mazda.com is the homepage, and not www.mazda.com?

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

#86

Post by coldtea »

toomanydoubts wrote: post #68
LeoPanthera wrote: post #31

Earlier quoted context omitted.

In the USA, Mazda is at mazdausa.com, not mazda.com. There are eight cars on the front page.

So, whats your point? Does that change anything?

For starters, the first "test" was bogus: grantparent said "front page", but parent tried the naked domain (which Mazda doesn't intent to be the front page).

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

#87

Post by otikik »

This part caught my eye:

http://skiplang.com/docs/lvalues.html

I think some of the phrasing there ("the variable x is going to be updated to point to a new copy of the object pointed to by x where field1 has the value 0") would really benefit from some graphics. Nothing fancy, something similar to what the Rust book does for ownership would help.

https://doc.rust-lang.org/book/ch04-01-what-is-ownership.htm...

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

#89

Post by pygy_ »

For context, this is the brainchild of Julien Verlaguet, one of the creators of the Hack language used at FB.

Skip was meant to gradually replace Hack, but the FB codebase turned out to be too tangled to gradually convert to the reactive paradigm, and a big rewrite was not possible, so FB pulled the plug, then Julien kept on pushing the project independently.

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

#90

Post by comboy »

It would be nice to put right there on top info what's the difference between it and using already popular functional language with memoization.

Guessing if something has side effects instead of making it explicit makes me already want to run away when I think about debugging.

Post reply on HN