Getting Fancy on Rubinius

RubyConf 2011 talk on Fancy and Rubinius.
http://www.fancy-lang.org

Transcript

1. Getting Fancy on Rubinius 1 Friday, September 30, 11
2. Christopher Bertels @bakkdoor www.fancy-lang.org 2 Friday, September 30, 11
3. Motivation • A language & implementation that is: • Easy to understand and extend • Consistent (no “magic”) • Well documented • Noob friendly • Without ambiguities (syntax & semantics) 3 Friday, September 30, 11
4. Inspirations • Smalltalk • Ruby • Io • Erlang 4 Friday, September 30, 11
5. Inspiration: Smalltalk • Object oriented • Pure message passing semantics • Limited syntax and special keywords • Dynamic • Class based • Reflective 5 Friday, September 30, 11
6. Inspiration: Ruby • TMTOWTDI • File based • Embrace Unix • Similar literal syntax • Naming conventions • It’s a script! (Class / Method defs) 6 Friday, September 30, 11
7. Inspiration: Io / Erlang • Lock-free concurrency using: • Asynchronous message sends • Futures • Actors 7 Friday, September 30, 11
8. Syntax & Semantics 8 Friday, September 30, 11
9. Literals 9 Friday, September 30, 11
10. Class & Method defs 10 Friday, September 30, 11
11. Flow Control 11 Friday, September 30, 11
12. Flow Control 11 Friday, September 30, 11
13. Flow Control 11 Friday, September 30, 11
14. Flow Control 11 Friday, September 30, 11
15. Flow Control 11 Friday, September 30, 11
16. Async & Actors • Actors: Asynchronous message passing • Asynchronous object-orientation! • Any object can be an actor: • Interested in the value? Use a FutureSend: 12 Friday, September 30, 11
17. Actor Ring Example 13 Friday, September 30, 11
18. Actor Ring Example 13 Friday, September 30, 11
19. Actor Ring Example 13 Friday, September 30, 11
20. Actor Ring Example 13 Friday, September 30, 11
21. Ring Demo 14 Friday, September 30, 11
22. Ruby Integration 15 Friday, September 30, 11
23. Be friendly • Friendly coexistance with Ruby • Reuse available libraries, possibly fancy-fied if used a lot • Explicit syntax for calling out to Ruby methods • Namespacing of Fancy methods 16 Friday, September 30, 11
24. Ruby Integration 17 Friday, September 30, 11
25. Ruby Integration 18 Friday, September 30, 11
26. First Class Is Good™ 19 Friday, September 30, 11
27. First Class: Blocks 20 Friday, September 30, 11
28. First Class: Documentation 21 Friday, September 30, 11
29. http://api.fancy-lang.org 22 Friday, September 30, 11
30. FDoc 23 Friday, September 30, 11
31. First Class: Methods 24 Friday, September 30, 11
32. Speaking of Testing ... 25 Friday, September 30, 11
33. FancySpec • RSpec-like testing library • Light-weight (~ 430 loc) • Testcases for all of Standard Library and expected runtime behaviour of the language • Helped a lot during migration from old C++ implementation to Rubinius 26 Friday, September 30, 11
34. 27 Friday, September 30, 11
35. 27 Friday, September 30, 11
36. 27 Friday, September 30, 11
37. 28 Friday, September 30, 11
38. Other fun facts 29 Friday, September 30, 11
39. Dynamic scoping • Popular in Lisp dialects • Implemented using thread locals • Used for things like stdio: 30 Friday, September 30, 11
40. .fancypack 31 Friday, September 30, 11
41. Tooling • Editor support for • Emacs • Textmate • Vim? (Brian?) • Debugging (shiny backtraces!) • fancy -cv foo.fy 32 Friday, September 30, 11
42. Let’s have a look at the Implementation! 33 Friday, September 30, 11
43. Why Rubinius? • — Ruby • — Dynamic Languages • Hackable • Understandable • Transparent • Culturally a good fit 34 Friday, September 30, 11
44. Compiler • Reusing as much as possible from Rubinius’ Compiler API • Subclassing and extending • C-extension based parser (bison) • Coming soon: kpeg based parser • Most syntax gets compiled into dynamic message sends that are executed at runtime 35 Friday, September 30, 11
45. Parser 36 Friday, September 30, 11
46. Parser 36 Friday, September 30, 11
47. Compiler demo 37 Friday, September 30, 11
48. Applications • DSLs • Parser Combinator library • Storm • Encapsulation-preserving OO Pattern Matching 38 Friday, September 30, 11
49. Parser Combinator 39 Friday, September 30, 11
50. Parser Combinator 40 Friday, September 30, 11
51. Parser Combinator 41 Friday, September 30, 11
52. Storm 42 Friday, September 30, 11
53. Storm 42 Friday, September 30, 11
54. Pattern Matching • Right now (master): • Simple, but useful pattern matching • Uses === method (like Ruby’s case/when expressions) 43 Friday, September 30, 11
55. Pattern Matching 44 Friday, September 30, 11
56. Pattern Matching • In the (maybe distant) future: • Pure OO Pattern Matching that preserves encapsulation (patterns branch) • Keyword patterns • Pattern literals • Dynamic bindings See: Felix Geller, Robert Hirschfeld and Gilad Bracha: Pattern Matching for an Object-Oriented Dynamically Typed Programming Language 45 Friday, September 30, 11
57. Pattern Matching 46 Friday, September 30, 11
58. And much more... Travis CI FancyIRC Class-based Mixins Default args Local returns C-extensions fyi ifancy Exception Handling 47 Friday, September 30, 11
59. Conclusions • Rubinius is a great platform to experiment with (dynamic) language implementations • Innovations & interesting ideas within the Ruby ecosystem • Composability by simplicity and homogeneity • Explore, fail, retry - win! 48 Friday, September 30, 11
60. Other cool stuff • Atomy ( http://rubini.us/projects/ ) • Ian Piumarta: Building Your Own Dynamic Language* • http://createyourproglang.com/ * http://www.youtube.com/watch?v=cn7kTPbW6QQ 49 Friday, September 30, 11
61. Thanks! Questions? @bakkdoor http://www.fancy-lang.org https://github.com/bakkdoor/fancy 50 Friday, September 30, 11