!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;
  transient Map<Msg, Map<S, O>> msg2features = AutoMap<>(lambda1 calcMsgFeatures);
  S featuresText;

  new Map<Pair<Msg, S>, Bool> msg2label;
  transient new Map<S, IF1<Msg, O>> featureExtractors;
  
  start-thread {
    for (S field : fields(Msg))
      featureExtractors.put(field, o -> getOpt(o, field));
    if (empty(msgs))
      setField(msgs := mainCruddieLog());
    showRandomMsg();
  }

  Map<S, O> calcMsgFeatures(Msg msg) {
    ret mapValues_pcall(featureExtractors, ex -> ex.get(msg));
  }

  void showMsgs(L<Msg> l) {
    setField(shownMsgs := l);
    setMsgs(l);
    if (l(shownMsgs) == 1)
      setField(featuresText := formatColonProperties_quoteStringValues(
        msg2features.get(first(shownMsgs))));
    else setField(featuresText := "");
  }

  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();
    }
  }

  JComponent mainPart() {
    ret jhsplit(super.mainPart(), jCenteredSection("Message features", dm_textArea featuresText()));
  }

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