diff --git a/README.md b/README.md index 2afe6e7..d84ee16 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Presetation ideas +# Presetation The context of presenting right now is that we intend to prepare and submit a video presentation to the [LIVE 2018 workshop](https://2018.splashcon.org/track/live-2018-papers) (deadline: 2018.08.17) and need to decide what to present. @@ -6,11 +6,9 @@ The problem is that Lamdu is somewhat challenging to present. Paul Chiusano's [a The gist of the problem is that Lamdu is a big and novel project with many aspects to describe, but it's also essential to keep the presentation focused. We got to this predicament as we've focused more on coding and less on presenting our research, in contrast to academics, who typically continually update on their advances so at any given point in time there is only the recent new material to present. -## Topics/Storylines +## Script - Scaling the REPL experience -Options for the main idea to present (many are similar but with different emphasis) - - -### Scaling the REPL experience +See also: [Draft video](https://www.dropbox.com/s/80h3b4o9tff59i8/Lamdu%20LIVE%202018%20-%20Intro%20draft.mp4?dl=0) Many programmers love the REPL (aka Interactive Shell, Notebook, Playgrounds). @@ -18,7 +16,7 @@ It provides validation, useful feedback, it's very useful for learning to code, But the REPL often loses its efficacy when writing larger programs, to the point that many "serious" programming languages such Java, Rust, and C++ don't even bother offering one. -#### How the REPL loses efficacy for larger programs +### How the REPL loses efficacy for larger programs How exactly does the REPL become less effective for large programs? @@ -27,7 +25,7 @@ We recognize two problems: * Availability * Bandwidth -##### Availability +#### Availability Let's illustrate this with an example. @@ -44,7 +42,7 @@ and you happen to want the check something in the repl for what you're currently * Computer: Module loaded successfully. Your wish is my command! What do you want to do now? * You: I forgot :/ -##### Bandwidth +#### Bandwidth The other problem with REPLs is that the output size is not proportional to the size of your program. @@ -61,6 +59,17 @@ Now let's see how it works in Lamdu: * When typing `factorial 2`, evaluation does reach the type error and only then it actually blocks the evaluation. * Note that we don't only see the final result but we also see the intermediate values, and can navigate between different evaluated scopes too. This is our response to the bandwidth problem +### How does this work - what about syntax errors + +Lamdu's approach to syntax errors is radical - eliminate them from existence! +Lamdu is not a free form text editor, but rather a projectional code editor. +This means you can't just type any text you want - you can only type syntactically valid code. +Same goes for name errors. + +Wait - I can't just write any text I want? + +That's right, but worry not. + ## Scenes Ideas for possible "scenes"/parts which can be used to construct the presentation - diff --git a/scenes/whatsapp.html b/scenes/whatsapp.html new file mode 100644 index 0000000..23a8949 --- /dev/null +++ b/scenes/whatsapp.html @@ -0,0 +1,310 @@ + + + + + + + + Based on fakewhats.com + + + + + + + + + + +

+ This animation is based on the design from + fakewhats.com. As it has no options for creating and saving animations, I've edited their html to make this. Thanks + you very much fakewhats.com! +

+
+
+
+
+ + +
+
+
+
    + +
  • +
    +
    +

    + Hmm, how much is 2*3? +

    +

    14:19 + + received + +

    +
    +
    +
    • + +
  • +
    +
    +

    + What? What do you mean? I can't even understand the syntax of that other function you wrote +

    +

    14:20

    +
    +
    +
    • + +
  • +
    +
    +

    + One moment.. +

    +

    14:20 + + received + +

    +
    +
    +
    • + +
  • +
    +
    +

    + I fixed the syntax! +

    +

    14:21 + + received + +

    +
    +
    +
    • + +
  • +
    +
    +

    + Yeah? What about name errors? +

    +

    14:22

    +
    +
    +
    • + +
  • +
    +
    +

    + 🤦 Here, fine now? +

    +

    14:21 + + received + +

    +
    +
    +
    • + +
  • +
    +
    +

    + At least your code seems to make some sense now. Let me see 🧐 +

    +

    14:22

    +
    +
    +
    • + +
  • +
    +
    +

    + Your types don't match ☝️ +

    +

    14:23

    +
    +
    +
    • + +
  • +
    +
    +

    + 🤦🤦 Ok, how about now? +

    +

    14:24 + + received + +

    +
    +
    +
    • + +
  • +
    +
    +

    + Thanks for the cooperation! It really helps when someone puts the effort to ask a question properly. +

    +

    + I'm happy to inform you that I performed the requested calculation on your behalf. +
    The answer to your question, "Hmm, how much is 2*3?", is: +
    6. +

    +

    14:25

    +
    +
    +
    • + +
  • +
    +
    +

    + Anything else I can do for you? I'm here to help 😇 +

    +

    14:25

    +
    +
    +
    • + +
  • +
    +
    +

    + 💩 I lost my 🚆 of 🤔 +

    +

    14:27 + + received + +

    +
    +
    +
    • + +
+
+
+
+ +
+
+ Text Message +
+
+
+
+ +
+ +
+ + + + + + + \ No newline at end of file