!7

cmodule TheoryMaker > DynConvo {
  /*
  1. measurable features (fields of object)
  2. higher level features (words the user throws in)
  3. make theories (random statements)
  4. check theories
  
  1. show a random line
  2. user types keyword
  3. assign keyword to line

  line $a has keyword $x & line $a's text is $bla
    & line $y has text $bla => line $b might have keyword $x
  */
  
  L<Msg> msgs; // full dialog
  L<Msg> shownMsgs;

  new Map<Pair<Msg, S>, Bool> msg2label;
  
  start-thread {
    if (empty(msgs))
      setField(msgs := mainCruddieLog());
    showRandomMsg();
  }

  void showMsgs(L<Msg> l) {
    setField(shownMsgs := l);
    setMsgs(l);
  }

  void showRandomMsg {
    showMsgs(randomElementAsList(msgs));
  }

  @Override
  void sendInput2(S s) {
    // treat input as a label
    if (l(shownMsgs) == 1) {
      Msg shown = first(shownMsgs);
      new Matches m;
      if "not ..." {
        S label = m.rest();
        mapPutVerbose(+msg2label, pair(shown, label), false);
      } else {
        S label = s;
        mapPutVerbose(+msg2label, pair(shown, label), true);
      }
      change();
    }
  }

  visual
    withCenteredButtons(super, "Show random msg", rThreadEnter showRandomMsg);
}