Live data from Hacker News

How Eve unifies your entire programming stack

hackernoon.com

61–70 of 109 posts

Re: How Eve unifies your entire programming stack

#61

> Eve is the culmination of years of research and development by the visionary team who previously founded Light Table. ...and then abandoned it after getting me excited about a possible Emacs replacement...

Didn't it influence atom and sublime text 2 quite a bit though?

Re: How Eve unifies your entire programming stack

#62
I was keeping a close eye on Eve until it changed direction from programming for everyone to yet another lisp. Is there any writeup/discussion on why this happened?

I do like learning about mind-expanding languages, and something resonated with me when the CardWiki interface was revealed. I get that this language is very 'human readable' but at the end of the day if I want to read or write it I will actually have to put a lot of time into learning it.

I'm already suffering decision paralysis with my current language shortlist and this language doesn't make the cut. The card wiki was innovative, like LightTable. To me, this is 'just a language'. I realised you moved away from the wiki idea for a reason but is putting a GUI on the language still on the roadmap?

Re: How Eve unifies your entire programming stack

#63
post #26
post #25

Earlier quoted context omitted.

Just seems like it sells poor man's Prolog as a "fundamental change". Anyone to dismiss my confusion? I mean, you can throw HTML around cobol/io/cl/sql/sed with the same wow-effect?

Check out this 2009 research paper that Eve is based on; it's an important new extension to logic programming: https://databeta.wordpress.com/2010/01/05/introducing-dedalu... Also please let me know what you think about Part II (coming later this week). It's all about logic programming and CQRS.

I only skimmed this very quickly, but the difficult issues in that tech report seem to concern issues in distributed systems. Does Eve have a distributed "story"?

My impression was that it was mostly a synchronous rule language that, at each time step, does vaguely Datalog-like stratified evaluation and then updates its state. That's a very nice model and indeed rooted in logic programming, but I have the impression that referring to the Dedalus tech report is overselling it.

Re: How Eve unifies your entire programming stack

#64
post #62

I was keeping a close eye on Eve until it changed direction from programming for everyone to yet another lisp . Is there any writeup/discussion on why this happened? I do like learning about mind-expanding languages, and something resonated with me when the CardWiki interface was revealed. I get that this language is very 'human readable' but at the end of the day if I want to read or write it I will actually have to…

Its less the direction changing than the plan for how to get there. The major pieces to the roadmap is now: 1. Eve: Programming designed for humans (current) 2. Eve: Computation for all 3. Eve: The world scale computer

http://www.chris-granger.com/2016/07/21/two-years-of-eve/ has some information on why. Selected quotes: "We learned with Light Table that we can't just slap a UI onto Javascript and expect it to work; the platform has to allow for the representation." "Another reason the platform is necessary is really counterintuitive: we need developers to like it before end users will. Technology diffuses from technical people to non-technical people over time."

Re: How Eve unifies your entire programming stack

#66
post #48
post #42

Earlier quoted context omitted.

> but Eve's semantics are deeply rooted in Logic Programming ... and synchronous programming. Eve is a synchronous relational (or logic) language.

Wouldn't this be asynchronous since there is no ordering unless explicitly constructed, or are we using different semantics?

It's a different use of the term. Synchronous programming languages have a logical clock, and change global state only on clock ticks.

Re: How Eve unifies your entire programming stack

#67
post #62

I was keeping a close eye on Eve until it changed direction from programming for everyone to yet another lisp . Is there any writeup/discussion on why this happened? I do like learning about mind-expanding languages, and something resonated with me when the CardWiki interface was revealed. I get that this language is very 'human readable' but at the end of the day if I want to read or write it I will actually have to…

> I get that this language is very 'human readable'

I wonder why people say/think that. The language uses sigils like @ and #. Sigils automatically make a language non-"human readable" since they have no "human meaning". And no, "you just have to learn the meaning of the language constructs and then you can read it" is not "human readable" in a useful sense. From what I gather, in Eve the @ sign refers to databases. That's fine, but "database foo" is human readable in a sense that "@foo" certainly isn't.

Or look at this example from http://play.witheve.com/#/examples/todomvc.eve

    search
      [#app filter]
    
      all-checked = if not([#todo completed: false]) then true
                    else false
    
      none-checked = if [#todo completed: true] then false
                      else true
    
      todo-count = if c = count[given: [#todo completed: false]] then c
                    else 0
Why aren't these just

    all-checked = [#todo completed: true]
    none-checked = [#todo completed: false]
? Is the triple negation relevant? What is #todo? Is there some sort of implicit iteration over the database where #todo is bound to successive entries? If so, how are the individual flags combined to really arrive at an "all checked" or "none checked" value?

I know plenty of languages that are more "human readable" than this.

It might still be a nice language once you learned it. But this, too, won't be the holy grail of "programming for non-programmers".

Re: How Eve unifies your entire programming stack

#68
post #62

I was keeping a close eye on Eve until it changed direction from programming for everyone to yet another lisp . Is there any writeup/discussion on why this happened? I do like learning about mind-expanding languages, and something resonated with me when the CardWiki interface was revealed. I get that this language is very 'human readable' but at the end of the day if I want to read or write it I will actually have to…

> I get that this language is very 'human readable' I wonder why people say/think that. The language uses sigils like @ and #. Sigils automatically make a language non-"human readable" since they have no "human meaning". And no, "you just have to learn the meaning of the language constructs and then you can read it" is not "human readable" in a useful sense. From what I gather, in Eve the @ sign refers to databases.…

#todo is shorthand for [ tag: 'todo' ]. A record can have multiple tags. Agreed that there should be a full-form for database, not just @.

Re: How Eve unifies your entire programming stack

#69
post #62

I was keeping a close eye on Eve until it changed direction from programming for everyone to yet another lisp . Is there any writeup/discussion on why this happened? I do like learning about mind-expanding languages, and something resonated with me when the CardWiki interface was revealed. I get that this language is very 'human readable' but at the end of the day if I want to read or write it I will actually have to…

> I get that this language is very 'human readable' I wonder why people say/think that. The language uses sigils like @ and #. Sigils automatically make a language non-"human readable" since they have no "human meaning". And no, "you just have to learn the meaning of the language constructs and then you can read it" is not "human readable" in a useful sense. From what I gather, in Eve the @ sign refers to databases.…

Yeah that's awful. In Ruby it'd be like:

  all_checked = todo.select(&:completed?)
  none_checked = todo.reject(&:completed?)
  todo_count = todo.count(&:completed?)

Re: How Eve unifies your entire programming stack

#70
post #3
post #2

Yeah until I really see some practical applications written in Eve I don't think I'm ever going to really get it. It's nothing against Eve, it might be great, but nothing I've seen about it so far as really captured my imagination and I'm wondering if I'm just missing something.

[Eve member] Out of curiosity, what would you classify as a practical application? We're looking for some interesting examples to build to help show Eve to folks. EDIT: For instance, one of the examples we're throwing together now is an app that a food truck owner could use to put up their menu, manage a queue of orders (in person and online), alert people when their order is ready, accept payments, and post to socia…

My suggestion would be to implement TeX.

It's non trivial, and the whole program is available in book form as a literate program.

Post reply on HN