Programming by Hyperbole

Lightning talk from the Booster 2013 conference.

1. Programming  by  Hyperbole   Einar  W.  Høst  
2. Take  a  small  task  from  work   Take  a  small  but   real  problem  you   encounter  at  work.  
3. Bring  it  back  home   where  no-­‐one  can   ques@on  your   ra@onale.  
4. Apply  hyperbole     to  exaggerate,     distort  &  bend  it.  
5. (Blog  about  it  and   put  it  on  github.)  
6. What  is  hyperbole?  
7. Normal   Normal   HYPERBOLE   NORMAL  
8. Normal   You  see  a  string  in  your   program  and  you  think...   NORMAL  
9. Normal   “Yup,  that’s  a  string.”   NORMAL  
10. “Hey,  that’s  a  string.”   HYPERBOLE   You  see  a  string  in  your   program  and  you  think...  
11. “Hey,  that’s  a  string.”   HYPERBOLE   “I  could  put  a  programming   language  in  there.”  
12. Why?  
14. Understanding  is   limited  
15. Understanding  is   par@al  
16. Understanding  is   full  of  myths  and  half-­‐truths  
17. Understanding  is   misunderstanding  
18. Understanding  is   plain  wrong  
19. Understanding  is   not  improved  at  work  
20. Hyperbole   helps  
21. Hyperbole  by  Example  
22. 5  +  2  *  3   Actual  Business  Case   In  my  HTML  form,  how  can  I  validate     that  a  DateTime  value  is  between     two  other  DateTime  values?  
23. 5  +  2  *  3   ASP.NET  MVC  Model  Valida@on  
24. 5  +  2  *  3   ASP.NET  MVC  Model  Valida@on   public  class  User   {          [  Required  ]          public  string  UserName  {  get;  set;  }          [  Required  ]          [  MinLength(12)  ]          public  string  Password  {  get;  set;  }   }  
25. 5  +  2  *  3   Data  Annota@on  Validator  Adributes   >  Required   >  Range   >  RegularExpression   >  MinLength   >  MaxLength   >  ...  
26. 5  +  2  *  3   Data  Annota@on  Validator  Adributes   >  Required   >  Range   >  RegularExpression   >  MinLength   >  MaxLength   >  ...  
27. 5  +  2  *  3   Data  Annota@on  Validator  Adributes   >  Required   >  Range   >  RegularExpression   >  MinLength   >  MaxLength   >  ...  
28. 5  +  2  *  3   Data  Annota@on  Validator  Adributes   >  Remote   >  Custom  
29. 5  +  2  *  3   Data  Annota@on  Validator  Adributes   >  Remote   >  Custom  
30. 5  +  2  *  3   Actual  Business  Solu@on   Custom  valida@on  to  solve     a  very  specific  problem.  
31. 5  +  2  *  3   Hyperbolic  Developer  Ques@on   Is  there  a  generic  solu@on?  
32. 5  +  2  *  3   Hyperbolic  Developer  Ques@on   What  would  be  the  ul@mate  approach?  
33. 5  +  2  *  3   Hyperbolic  Developer  Ques@on   Can  this  be  solved  once  and  for  all?  
34. 5  +  2  *  3   Hyperbolic  Developer  Ques@on   What  is  the  final  word  on  valida@on?  
35. $   $   Developer  Constraint  At  Work   Business  value   Time  spent  
36. $   $   Developer  Constraint  At  Home  
37. 5  +  2  *  3   Custom  Valida@on  Adribute   [  Custom(........)  ]  
38. 5  +  2  *  3   Custom  Valida@on  Adribute   [  Custom(........)  ]   Severely  limited  
39. 5  +  2  *  3   Custom  Valida@on  Adribute   [  Custom(“foo”)  ]   ...but  strings  are  OK  
40. 5  +  2  *  3   Custom  Valida@on  Adribute   [  Custom(“foo”)  ]   ...strings  are  OK?  
41. 5  +  2  *  3   Custom  Valida@on  Adribute   [  Custom(“foo”)  ]   I  could  put  a     programming     language  in  there!  
42. 5  +  2  *  3   My  Hyperbolic  Idea   Create  a  rule  DSL  for  expressing   arbitrary  constraints  on  property     values  in  a  LISP-­‐like  syntax.  
43. 5  +  2  *  3   Why?  
44. 5  +  2  *  3   Why?   Do.  Or  do  not.   There  is  no  why.  
45. 5  +  2  *  3   Why?   If  it  fits,  I  sits  
46. 5  +  2  *  3   Why?   >  Custom  Valida@on   >  S-­‐expressions   >  Expression  Trees   >  Func@onal  JavaScript   >  Code  Genera@on   >  Code  Interpreta@on   Learning  opportunity  
47. (+  5  (*  2  3))   [  Mkay(“(and  (>  A)  (<  B))”)  ]   Introducing  Mkay   One  valida@on  adribute  to  rule  them  all  
48. (+  5  (*  2  3))   Mkay  expressions   >  Constants   >  Property  access   >  Logical  operators   >  Comparison  operators   >  Simple  func@ons  
49. (+  5  (*  2  3))   Example  #1   [  Mkay(“>=  (max  A  B)”)  ]  
50. (+  5  (*  2  3))   Example  #2   [  Mkay(“==  (len  .)  5”)  ]  
51. (+  5  (*  2  3))   Example  #3   [  Mkay(“and  (>  “31.01.2006”)  (<=  (now))”)  ]  
52. Rule  AST   Cons  Cells   .NET     Expression  Trees   JavaScript   JSON   Server-­‐side  valida@on   Client-­‐side  valida@on   Rule  DSL   String   .NET     Func@on   JavaScript   Func@on  
53. (+  5  (*  2  3))   Mkay  Rule  DSL   (>  .  (+  A  B  C))  
54. (+  5  (*  2  3))   Abstract  Syntax  Tree   symbol   >   symbol   +   symbol   .   nil   symbol   A   symbol   B   symbol   C   nil   (>  .  (+  A  B  C))  
55. (+  5  (*  2  3))   Expression  Tree   Member   .   Member   B   Member   A   Member   C   Binary   +   Binary   >   Binary   +   (>  .  (+  A  B  C))  
56. (+  5  (*  2  3))   JSON   {      "type":  "call",      "value":  ">",      "operands":  [          {              "type":  "property",              "value":  "X"          },          {              "type":  "call",              "value":  "+",              "operands":  [                  {                      "type":  "property",                      "value":  "A"                  },                  {                      "type":  "property",                      "value":  "B"                  },                  {                      "type":  "property",                      "value":  "C"                  }              ]          }      ]   }   (>  .  (+  A  B  C))  
57. (+  5  (*  2  3))   Composed  Valida@on  Func@on   function()  {      return  greater-­‐than-­‐function      (          read-­‐property-­‐function("."),          plus-­‐function(              plus-­‐function(                  plus-­‐function(                      0,                        read-­‐property-­‐function("C")),                  read-­‐property-­‐function("B")),              read-­‐property-­‐function("A"))      );   }   Pseudo-­‐JavaScript  
58. 5  +  2  *  3   Demo  
59. 5  +  2  *  3   Demo   public  class  Person     {            [  Mkay("(<  (len  .)  5)",  ErrorMessage  =  "That's  too  long,  my  friend.")  ]            public  string  Name  {  get;  set;  }            [  Mkay("(>=  .  \"31.01.1900\")")  ]            public  DateTime  BirthDate  {  get;  set;  }            [  Mkay("(<=  .  (now))")  ]            public  DateTime  DeathDate  {  get;  set;  }            [  Mkay("(and  (>=  .  BirthDate)  (<=  .  DeathDate))")  ]            public  DateTime  LastSeen  {  get;  set;  }     }  
60. Demo  
61. BLOG   hdp://einarwh.wordpress.com   CODE   hdp://bitbucket.org/einarwh/mkay   DOWNLOAD   hdp://nuget.org/packages/mkay  
62. 5  +  2  *  3   HYPERBOLIC   HYPERBOLE  
63. 5  +  2  *  3   eval  
65. “Hey,  that’s  a  string.”   HYPERBOLE   You  see  a  string  in  your   program  and  you  think...  
66. “Hey,  that’s  a  string.”   HYPERBOLE   “I  could  put  a  programming   language  in  there.”  
67. GO  ONE  LOUDER