[tree_of_item]

Urbit is purposefully obfuscated. If you don't believe me, just take a look at the docs:

https://urbit.org/docs/hoon/advanced/

There is no reason to gensym all of your concepts like this. It is different just for the purpose of being different: apparently you can't sell people on a "revolutionary technology" without appearing to be extremely different.

Nock is also not a good virtual machine. Recognizing blessed sequences of bytecode and replacing them with opaque blobs of code is not a valid approach to optimization. No one can actually run a pure Nock VM, so what is the point of having Nock in the first place?

Someone else on HN gave the best summary of Urbit I've seen yet: an elaborate cup and ball game, meant to give the impression of innovation and technical excellence.

[Camillo]

There is what amounts to a direct claim of purposeful obfuscation here: https://github.com/cgyarvin/urbit/blob/master/doc/book/1-noc...

> We should note that in Nock and Hoon, 0 (pronounced "yes") is true, and 1 ("no") is false. Why? It's fresh, it's different, it's new. And it's annoying. And it keeps you on your toes. And it's also just intuitively right.

[emmelaich]

Focus on the intuitively right. I think it makes sense for 0 to yes/true. Think of the Unix exit codes, and golang returns. No news is good (yes/true) news.

edit: as to the "annoying" that's just Yarvin being cheeky. I really don't think it is too serious.

[kazinator]

Zero is good for "absence of failure". It's a "yes" in the sense that "this worked". Whereas any one of the myriad non-zero codes is "no, it didn't work".

If we have a situation in which there are many numeric codes, exactly one of which means "success", it's probably best if that one is assigned zero.

[lisper]

Except that Curtis strongly (and snarkily) claims that Hoon is a typed language:

https://news.ycombinator.com/item?id=11819810 item #3 (and subsequent discussion)

So why are they punning integers and booleans in the first place?

[kazinator]

Punning means that we have two types, and we somehow interchange them; use an object of type A, as if it were of type B. We thereby leave behind the type system and take responsibility for that being correct.

If a language doesn't have a Boolean type, and some other type serves for indicating truth/falsehood, then that is a representational technique distinct from punning.

A language with no Boolean type can be statically typed. It just means that the conditional operators work with some non-Boolean, like integer, yet according to well-understood rules. For instance if we have some "if expr foo bar" such that either foo or bar is evaluated based on whether or not expr is zero. This would be statically well-typed if expr has integer type and foo and bar have the same type.

Of course, we can't do pattern-matching whereby a value is classified as Boolean or integer in separate cases. (Unless we use the language's type construction ability to define a Boolean type which wraps integer, or whatever).

[lisper]

I don't want to quibble over terminology, so fine: Hoon doesn't pun integers and booleans, it conflates them. Whatever you call it, it's still a horrible hack, and IMHO if you put in your language you surrender your snark privileges when comparing your language to Lisp.

[kazinator]

It's not confusing enough. I would call the 0 "pull down" and 1 "high z".

[krautsourced]

I'm sorry but this... madness. Referring to return codes, which are completely arbitrary in nature, as being intuitive and thus, 0 as true being intuitive, feels like a complete logic breakdown.

Yes, if this language were to exist in a complete vacuum, where no other languages are existing, and nobody learnt anything else before, then sure, 0 as true and 1 as false would be fine I guess. Still not more or less intuitive, but one could agree on using it. But in a world where every other programming language uses 0 as false (or some equivalent) and where the chance that someone would use "nock" as his one and only programming language is very much 0%, this feels like utter bullshit.

Also, the versioning scheme based on Kelvin temperature? Seriously?

And then look at the Hoon syntax. No keywords, just ASCII symbols. Just look at it.

This better be some very elaborate hoax...

[prostoalex]

> Referring to return codes, which are completely arbitrary in nature, as being intuitive and thus, 0 as true being intuitive, feels like a complete logic breakdown.

Does the opposite approach make sense though? Generally, something being "true" means a program can happily move along. Something being "false" generally requires more introspection on why exactly it's false, i.e. error handling, exception handling, with the resulting changes in execution flow.

[Myrth]

It makes sense because it's de facto standard, and intuition is experience, and intuitive is what we're used to. I'm not sure how it can be explained more basically.

[prostoalex]

That's not an argument that scales well, as then we'd have a single programming language, anything else being un-intuitive. Every single non-obscure language that exists today had to go against the (previously acquired) intuition, introduce new concepts and then work its way up to the point where new concepts are the (newly acquired) intuition.

[hirsin]

And S_OK in Windows also being 0. Seen that take down services with a misplaced parens...

But to use it everywhere flies against the origin of it, which is current flowing vs not.

[GFK_of_xmaspast]

If you start poking at it tho:

FALSE == TRUE & FALSE ==> 0 & 1 == 0 ==> TRUE

[jackfoxy]

I think there is sound theoretical basis to pronounce inverting the traditional true/false bit identification a mistake. Yarvin as much as admits this in his Lambda Conference recording on YouTube.

[mjfl]

link for earlier thread, interesting because creators responded:

https://news.ycombinator.com/item?id=10435757

[asimuvPR]

Its ok to set yourself apart. But for some reason this feels very app.net in a way. Not to disrespect the projects or ceeators but the scope and ambitions were rather big.

[JonathonW]

App.net at least had a couple clear use cases in mind (twitter clone, notifications/pub/sub service), even if they weren't unique/compelling enough to sell people on the service.

AFAICT, this platform has a broad scope without any kind of clear vision as to what they want to do with it. Maybe I haven't found the right part of their website yet?

[asimuvPR]

Its probably not public yet. The mystery does help with marketing. Keeping people guessing is an age old tactic. Either way I'm interested.