standing on the shoulders of giants - zenspider.com · standing on the shoulders of giants mwrc...

Standing on the Shoulders of Giants

MWRC 2015, SLC, UT

Ryan Davis, Seattle.rb

@the_zenspiderx1

MWRC 2015, SLC, UT

@the_zenspiderx

Setting ExpectationsSorta a history talk. Le Sigh.

Very Little Code.

Ideas/Survey/Inspiration Talk.

109 Slides, ~3.6 SPM2

MWRC 2015, SLC, UT

@the_zenspiderx3

MWRC 2015, SLC, UT

@the_zenspiderx

"we [the Moderns] are like dwarves perched on the shoulders of giants [the Ancients], and thus we are able to see more and farther than the latter. And this is not at all because of the acuteness of our sight or the stature of our body, but because we are carried aloft and elevated by the magnitude of the giants.”

Bernard of Chartres, 12th century

MWRC 2015, SLC, UT

@the_zenspiderx

"If I have seen further it is by standing on ye sholders of Giants.”

Isaac Newton, 1676

MWRC 2015, SLC, UT

@the_zenspiderx

In Other Words6

MWRC 2015, SLC, UT

@the_zenspiderx

Not a new concept, at all

MWRC 2015, SLC, UT

@the_zenspiderx

Newton was

iterating8

MWRC 2015, SLC, UT

@the_zenspiderx

Simple Idea9

MWRC 2015, SLC, UT

@the_zenspiderx

Idea10

MWRC 2015, SLC, UT

@the_zenspiderx

Begs the

question11

MWRC 2015, SLC, UT

@the_zenspiderx

WTF, Language?

MWRC 2015, SLC, UT

@the_zenspiderx

Ruby13

MWRC 2015, SLC, UT

@the_zenspiderx

RubyCreated by Matz in 1993

Interpreted File-based “Scripting” System.

Purely Object-Oriented Class-based Runtime.

Incredibly Complex Syntax & Semantics.

Extensive Class Library, Numeric Tower, etc.

Designed for “Developer Happiness”.14

MWRC 2015, SLC, UT

@the_zenspiderx

Fibonacci

class Integer def fib self < 2 ? self : (self-1).fib + (self-2).fib end end

MWRC 2015, SLC, UT

@the_zenspiderx

Ruby History

1981 - 1990

1981 1983 1985 1987 1989

1991 - 2000

1991 1993 1995 1997 1999

2001 - 2010

2001 2003 2005 2007 2009

2011 - 2020

2011 2013 2015 2017 2019

Feb 1993: Birth

Dec 1995: Ruby 0.95

Dec 1996: Ruby 1.0

Dec 1998: Ruby 1.2

Aug 1999: Ruby 1.4

Aug 2000: Ruby 1.6

Aug 2003: Ruby 1.8

Dec 2007: Ruby 1.9

Feb 2013: Ruby 2.0

Dec 2013: Ruby 2.1

Dec 2014: Ruby 2.2

MWRC 2015, SLC, UT

@the_zenspiderx

Ruby History

1981 - 1990

1981 1983 1985 1987 1989

1991 - 2000

1991 1993 1995 1997 1999

2001 - 2010

2001 2003 2005 2007 2009

2011 - 2020

2011 2013 2015 2017 2019

Feb 1993: Birth

Dec 1995: Ruby 0.95

Dec 1996: Ruby 1.0

Dec 1998: Ruby 1.2

Aug 1999: Ruby 1.4

Aug 2000: Ruby 1.6

Aug 2003: Ruby 1.8

Dec 2007: Ruby 1.9

Feb 2013: Ruby 2.0

Dec 2013: Ruby 2.1

Dec 2014: Ruby 2.2

What Happened?

MWRC 2015, SLC, UT

@the_zenspiderx

Ruby 1.0 Shipped with Almost Everything

MWRC 2015, SLC, UT

@the_zenspiderx

Not Much Added Since 1.0Private/Protected (~1.1)

Class Variables (1.6)

Encodings (1.9, 2.0)

frilly syntactic sugar (that doesn't really improve much of anything) (1.9+)

MWRC 2015, SLC, UT

@the_zenspiderx

Ruby is a fantastic language, but it could be

better.19

MWRC 2015, SLC, UT

@the_zenspiderx

Smalltalk

Lisp Perl

MWRC 2015, SLC, UT

@the_zenspiderx

COLASelf

Smalltalk

Lisp Perl

MWRC 2015, SLC, UT

@the_zenspiderx22

Smalltalk Self

Scheme/Racket FONC/COLA

TooCoolfor

Logos?

MWRC 2015, SLC, UT

@the_zenspiderx

& Many More23

MWRC 2015, SLC, UT

@the_zenspiderx

Smalltalk24

MWRC 2015, SLC, UT

@the_zenspiderx

Brief summary of SmalltalkBy Alan Kay & Dan Ingalls at Xerox PARC, created in 1972. Publicly released in 1980.

Bytecode Compiled Image-based System.

Purely Object-Oriented Class-based Runtime.

Incredibly Simple/Clean Syntax and Semantics. Only 6 keywords, 4 precedence levels.

Fully Immersive development environment.

Incubator for Ideas: this is where many ideas of OO, patterns, mvc, etc came from.

WAY ahead of its time. Still is in some ways.

MWRC 2015, SLC, UT

@the_zenspiderx

Fibonacci

!Integer methodsFor: 'benchmarks' stamp: 'jm 11/20/1998 07:06'! fib ^ self < 2 ifTrue: [self] ifFalse: [(self-1) fib + (self-2) fib] ! !

MWRC 2015, SLC, UT

@the_zenspiderx

Self27

MWRC 2015, SLC, UT

@the_zenspiderx

Brief summary of selfDavid Ungar & Randall Smith started at Xerox PARC and finished at Sun in 87.

Bytecode Compiled + JIT Image-based System.

Purely Object-Oriented Classless (aka prototypes) Runtime.

Incredibly Simple/Clean Syntax & Semantics. 8 bytecodes. EIGHT.

Fully Immersive development environment.

Incubator for Ideas: java hotspot was born here.

MWRC 2015, SLC, UT

@the_zenspiderx

Fibonacci

fibonacci = ( <= 1 ifTrue: [ self ] False: [ predecessor fibonacci + (- 2) fibonacci ])

MWRC 2015, SLC, UT

@the_zenspiderx

Scheme & Racket

MWRC 2015, SLC, UT

@the_zenspiderx

Brief summary of schemeBy Gerald Sussman & Guy Steele in 1975.

Scheme is a minimal variant of a lexically-scoped Lisp.

Lisp is a functional language based on lists.

Innovation Galore: Tail Call Optimizations, Numeric Tower, Hygienic Macros, 1st class continuations, etc.

MWRC 2015, SLC, UT

@the_zenspiderx

Brief summary of racketBy Matthias Felleisen & PLT Cohort.

Racket is a maximal variant of Scheme. Huge incredibly diverse library.

Bytecode Compiled + JIT File-based System.

Mostly functional multi-language Runtime.

Simple Syntax & Semantics w/ rich expressions like extensive macros & structural matching.

Ships with Editor & Runtime.

MWRC 2015, SLC, UT

@the_zenspiderx

Fibonacci

(define (fib x) (if (< x 2) x (+ (fib (- x 1)) (fib (- x 2)))))

MWRC 2015, SLC, UT

@the_zenspiderx

COLA34

MWRC 2015, SLC, UT

@the_zenspiderx

A Tiny, Beautiful

Kernel35

MWRC 2015, SLC, UT

@the_zenspiderx

In the theme of this talk, we are coming back around to Alan Kay

MWRC 2015, SLC, UT

@the_zenspiderx

Brief Summary of VPRI Viewpoints Research Institute (VPRI) is Alan Kay's thinktank

5 year NSF grant to work on FONC: foundations of new computing

Project: STEPS (STEPS Toward Expressive Programming Systems)

They want a whole system that can be understood by one brain

Entire system, from language to GUI Apps, in ~20kloc.37

MWRC 2015, SLC, UT

@the_zenspiderx

Brief Summary of COLA Machine Compiled File-Based System.

Object Oriented Prototype-based Runtime.

Incredibly Simple/Clean Syntax & Semantics. (notice a pattern?)

COLA = Combined Object/Lambda Architecture.

“designed to be the simplest possible language which can be described in itself"

MWRC 2015, SLC, UT

@the_zenspiderx

Fibonacci

Integer fib { ; lispy (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2)))) }

Integer fib [ ; smalltalky ^ self < 2 ifTrue: [self] ifFalse: [(self - 1) fib + (self - 2) fib] ]

MWRC 2015, SLC, UT

@the_zenspiderx

Time to Plunder!

MWRC 2015, SLC, UT

@the_zenspiderx

Time to Plunder!

Yarrrrrr

MWRC 2015, SLC, UT

@the_zenspiderx

Ideas from Smalltalk

MWRC 2015, SLC, UT

@the_zenspiderx

Squeak Smalltalk generates and builds itself.

Smalltalk

New VM

Smalltalk Subsetto C translator

VM written inSmalltalk Subset

MWRC 2015, SLC, UT

@the_zenspiderx

Extensive Hierarchy of Classes

43…lots more…

MWRC 2015, SLC, UT

@the_zenspiderx

Developer Tools!44

MWRC 2015, SLC, UT

@the_zenspiderx45

MWRC 2015, SLC, UT

@the_zenspiderx46

MWRC 2015, SLC, UT

@the_zenspiderx47

Integrated Debugger

MWRC 2015, SLC, UT

@the_zenspiderx

Implementors & Senders Browser

MWRC 2015, SLC, UT

@the_zenspiderx

(and a lot more)49

MWRC 2015, SLC, UT

@the_zenspiderx

#inspect actually useful# smalltalk: >> Color lightRed darker => (Color r: 0.92 g: 0.736 b: 0.736) >> (Color r: 0.92 g: 0.736 b: 0.736) => (Color r: 0.92 g: 0.736 b: 0.736)

# versus ruby: >> Color.new(0.92, 0.736, 0.736) => #<Color:0x007fad5114c458 @r=0.92, @g=0.736, @b=0.736>

MWRC 2015, SLC, UT

@the_zenspiderx

Ideas from Self

MWRC 2015, SLC, UT

@the_zenspiderx

This was the birthplace of JIT.

MWRC 2015, SLC, UT

@the_zenspiderx

Self is the reason why Java & Javascript

are fast53

MWRC 2015, SLC, UT

@the_zenspiderx

Dynamic languages CAN be fast.

MWRC 2015, SLC, UT

@the_zenspiderx

Prototyping55

MWRC 2015, SLC, UT

@the_zenspiderx

Influenced Javascript & IO

MWRC 2015, SLC, UT

@the_zenspiderx

Prototyping is Handy!class Object def define_method name, &b self.singleton_class.send :define_method, name, &b self end

def clone_method obj, name define_method name, &obj.method(name) end end

class X; def to_s; self.class.name; end; end class Y; def to_s; self.class.name; end; end

puts X.new # X puts Y.new # Y puts X.new.clone_method(Y.new, :to_s) # Y??

MWRC 2015, SLC, UT

@the_zenspiderx

Developer Tools!58

MWRC 2015, SLC, UT

@the_zenspiderx59

MWRC 2015, SLC, UT

@the_zenspiderx60

MWRC 2015, SLC, UT

@the_zenspiderx61

MWRC 2015, SLC, UT

@the_zenspiderx62

MWRC 2015, SLC, UT

@the_zenspiderx

Ideas from Scheme & Racket

MWRC 2015, SLC, UT

@the_zenspiderx64

MWRC 2015, SLC, UT

@the_zenspiderx65

MWRC 2015, SLC, UT

@the_zenspiderx66

MWRC 2015, SLC, UT

@the_zenspiderx67

MWRC 2015, SLC, UT

@the_zenspiderx

Visual Stack Traces

MWRC 2015, SLC, UT

@the_zenspiderx69

Structural Pattern Matching

MWRC 2015, SLC, UT

@the_zenspiderx

Multiple Language Support

#lang scribble/manual @title{My Library} Welcome to my documentation: @racket[(list 'testing 1 2 3)].

MWRC 2015, SLC, UT

@the_zenspiderx

OO is good for organization, scoping,

and data hiding71

MWRC 2015, SLC, UT

@the_zenspiderx

But…72

MWRC 2015, SLC, UT

@the_zenspiderx

lambda is king

MWRC 2015, SLC, UT

@the_zenspiderx

lambda is king

𝞴👑

MWRC 2015, SLC, UT

@the_zenspiderx

Speed Comparison% racket fib.rkt '(0 1 1 2 3 5 8 13) cpu time: 13 real time: 13 gc time: 0 cpu time: 22 real time: 22 gc time: 0 cpu time: 35 real time: 35 gc time: 0 '(832040 1346269 2178309)

% ruby fib.rb [0, 1, 1, 2, 3, 5, 8, 13] user system total real 30 0.230000 0.000000 0.230000 ( 0.237727) 31 0.390000 0.000000 0.390000 ( 0.389832) 32 0.600000 0.010000 0.610000 ( 0.602819)

MWRC 2015, SLC, UT

@the_zenspiderx

17x faster75

MWRC 2015, SLC, UT

@the_zenspiderx

Tail Call Optimization

MWRC 2015, SLC, UT

@the_zenspiderx

Ideas from COLA

MWRC 2015, SLC, UT

@the_zenspiderx

STEP’s vision of computing is massively

powerful78

MWRC 2015, SLC, UT

@the_zenspiderx79

MWRC 2015, SLC, UT

@the_zenspiderx

Debian Mac OS X

Windows Vista FreeBSD

Open Office GTK+ v2

Ruby electromagnetism

283 million lines of code 86 million lines of code 50 million lines of code 9 million lines of code 10 million lines of code 650 thousand lines of code 1.2 million lines of code 4 lines of code

MWRC 2015, SLC, UT

@the_zenspiderx

Combined Object/Lambda Architecture

MWRC 2015, SLC, UT

@the_zenspiderx

Objects for storage and organization

MWRC 2015, SLC, UT

@the_zenspiderx

Lambdas for execution

MWRC 2015, SLC, UT

@the_zenspiderx84

Objectsfor

Storage

Lambdasfor

Execution

MWRC 2015, SLC, UT

@the_zenspiderx85

string "lookup"_vt

symbol

string "addMethod"_vt

symbolstring "allocate"_vt

symbol

string "delegated"_vt

symbol

string "intern"_vt

symbol

--datalookupmethod

_vtclosure

--dataaddMethodmethod

_vtclosure

--datadelegatedmethod

_vtclosure

--dataallocatemethod

_vtclosure

--datainternmethod

_vtclosure

parentvalueskeys

4size_vt

vtable_vt

--parentvalueskeys

5size--_vt

SymbolList

parent--values

keys --0size

_vtclosure_vt

parent--values

keys --0size

_vtobject_vt

parentvalueskeys

1size_vt

symbol_vt

MWRC 2015, SLC, UT

@the_zenspiderx

Nile (graphics language) Source

Nile to Nile AST

Nile AST

Nile AST to Nothing

Nothing Code

Nothing to N-AST

N-AST code

Nothing to x86

OMeta: Translators all the way down

MWRC 2015, SLC, UT

@the_zenspiderx

Define your system using basic axioms.

MWRC 2015, SLC, UT

@the_zenspiderx

Teach the GUI Euclid’s geometry and give it a rule

engine88

MWRC 2015, SLC, UT

@the_zenspiderx

650 kloc gtk GUI library <

Rules + Euclid in ~250 loc89

MWRC 2015, SLC, UT

@the_zenspiderx

Runtime90

MWRC 2015, SLC, UT

@the_zenspiderx

MUCH smaller91

MWRC 2015, SLC, UT

@the_zenspiderx

Much more understandable

MWRC 2015, SLC, UT

@the_zenspiderx

Much more maintainable.

MWRC 2015, SLC, UT

@the_zenspiderx

Ruby’s 1.3 mloc <

STEPS’ 20 kloc94

MWRC 2015, SLC, UT

@the_zenspiderx

👋 Too Hand Wavey?

👋95

MWRC 2015, SLC, UT

@the_zenspiderx

TONS of Rich Info Here:

http://vpri.org/html/writings.php

MWRC 2015, SLC, UT

@the_zenspiderx97

Conclusion

MWRC 2015, SLC, UT

@the_zenspiderx

Surveyed a minority of ideasself-bootstrapping implementations

extensive collection / magnitude hierarchies

instance-based inheritance

JIT compilation

Importance of lambdas & Tail Calls

object level pattern matching

the combined object/lambda architecture

MWRC 2015, SLC, UT

@the_zenspiderx

Ruby is at its best

MWRC 2015, SLC, UT

@the_zenspiderx

Borrowing great ideas

MWRC 2015, SLC, UT

@the_zenspiderx

From other languages

MWRC 2015, SLC, UT

@the_zenspiderx

It has fallen behind

MWRC 2015, SLC, UT

@the_zenspiderx

Lost its way103

MWRC 2015, SLC, UT

@the_zenspiderx

It's time for ruby to step up

MWRC 2015, SLC, UT

@the_zenspiderx

do more with these ideas

MWRC 2015, SLC, UT

@the_zenspiderx

keep pushing forward

MWRC 2015, SLC, UT

@the_zenspiderx

to stand upon the shoulders of giants

MWRC 2015, SLC, UT

@the_zenspiderx108

Thank You

standing on the shoulders of giants - zenspider.com · standing on the shoulders of giants mwrc...

Documents

standing on the shoulders of giants: the effect of passive...

standing on the shoulders of giants: lessons from...

standing on the shoulders of chinese giants? a study on

standing on the shoulders of giants · standing on the...

standing on the shoulders of giants by managing …...20...

standing on the shoulders of giants: learnings from...

ysj & jisc: standing on the shoulders of giants

ysj and jisc: standing on the shoulders of giants - phil...

the dawn of the 20 th century chc 2d1. the shoulders of...

standing on the shoulders of giants: seeding search-based...

geneva concerts · geneva concerts, inc. saturday, april...

standing on the shoulders of giants › publication ›...

on the shoulders of giants

standing on the shoulders of giants: copyright and fair use

standing on the shoulders of giants – the kotti web...

standing on the shoulders of giants: an american agenda

shoulders of giants

standing on the shoulders of giants: paving a path of...

standing on the shoulders of giants by stack exchange's ana...

"oss edu standing on the shoulders of giants" by john...