7 languages in 30 minutes

https://zhuanlan.zhihu.com/p/20289355?refer=lessmore

Transcript

1. 7 languages in 30 minutes RETHINK COMPUTATION AND LANGUAGE
2. contents 1. a linear memory based language 2. a pattern matchingbased language 3. a meta language 4. a stack based language 5. a (markup)language 6. a macro language 7. a modelinglanguage
3. Linear memory Memory cells Addressing Pointer Increment/Decrement Program Counter PC-Stack
4. Brainfuck MINIMAL MODEL FOR COMPUTATION
5. Pattern maching a = a; X = a; //=> X results a a(b, c) = X; //=> X results a(b, c) a(X, c) = a(b, Y); //=> X results b, Y results c [H|T] = [1,2,3,4,5]; //=> H results 1, T results [2,3,4,5]
6. length of a list len([], 0). len([H|T], X) :- len(T, Y), X is Y+1.
7. Prolog PROGRAMMING LOGIC
8. program as data 1 + 2 − 3 ×4
9. program as data * + 1 - 2 3 4
10. program as data (* (+ 1 (- 2 3)) 4)
11. Scheme LOST IN STUPID PARENS
12. stack-based operations * + 1 - 2 3 4
13. postfix expression 1 2 3 - + 4 *
14. stack-based operations see <04/fix.cpp>
15. JVM bytecode 0: iconst_2 1: istore_1 2: iload_1 3: sipush 1000 6: if_icmpge 44 9: iconst_2 10: istore_2 11: iload_2 12: iload_1 13: if_icmpge 31 16: iload_1 17: iload_2 18: irem 19: ifne 25 22: goto 38 25: iinc 2, 1 28: goto 11 31: getstatic #84; // Field java/lang/System.out:Ljava/io/PrintStream; 34: iload_1 35: invokevirtual #85; // Method java/io/PrintStream.println:(I)V 38: iinc 1, 1 41: goto 2 44: return
16. PostScript/Forth PROGRAMMING LANGUAGE FOR PUBLISHING AND PRINTING
17. represent a math expression × => a x b ? + , => a / b ? lim 0→2 sin => lim x -> 0 sin x ? ∑ 7 => SIGMA x 2 ?
18. represent a math expression × => a \times b + , => \frac{a}{b} lim 0→2 sin => \lim_{x -> 0}{sin x} ∑ 7 => \sum{x^2}
19. represent an article \article \section \subsection \paragraph \theorem …
20. XML <article> <section> <subsection> <p></p> <subsection> </section> </article>
21. XSLT
22. LaTeX ALL YOU NEED IS A SUITABLE DISTRIBUTION
23. magic of string substitution vDefine vQuote vEval vMeta-programming vTokens vRecursion
24. m4 LAZYMAN’S LAZY TOOL
25. ? WHAT YOU CAN MAKE