examples/problems/choose.blank

   1 /** The problem here is just to define a function so that we get nice selection from more than two cases. **/
   2
   3 ##lookin ..Shapes
   4
   5 choose: \ <> cases →
   6 (escape_continuation leave
   7   [cases.foldr
   8     \ e p → [if [typeof e] ≠ Data..Type..§Void
   9               (escape_continue leave e)
  10               p]
  11     void]
  12 )
  13
  14 IO..•stdout << [choose [if 1=2 3] [if '1='1 4] [if '3='3 [Debug..log_before `Fel!´ 5]]] << "{n}