Squiggle records as argument interface draft one

squiggle-record-args.res

let rec dispatchToGenericOutput = (
  call: ExpressionValue.functionCall,
  env: DistributionOperation.env,
): option<DistributionOperation.outputType> => {
  let (fnName, args) = call
  switch (fnName, args) {
 
... 
  | ("klDivergence", [EvDistribution(a), EvDistribution(b)]) =>
    Some(DistributionOperation.run(FromDist(ToScore(KLDivergence(b)), a), ~env))
  | (
    "logScoreWithPointResolution",
    [EvDistribution(prediction), EvNumber(answer), EvDistribution(prior)],
  )
  | (
    "logScoreWithPointResolution",
    [EvDistribution(prediction), EvDistribution(Symbolic(#Float(answer))), EvDistribution(prior)],
  ) =>
    DistributionOperation.run(FromDist(ToScore(LogScore(answer, prior->Some)), prediction), ~env)->Some
  | ("logScoreWithPointResolution", [EvDistribution(prediction), EvNumber(answer)])
  | (
    "logScoreWithPointResolution",
    [EvDistribution(prediction), EvDistribution(Symbolic(#Float(answer)))],
  ) =>
    DistributionOperation.run(FromDist(ToScore(LogScore(answer, None)), prediction), ~env)->Some
  | ("logScore", [EvRecord(r)]) =>
    [
      recurRecordArgs(
        "logScoreWithPointResolution",
        ["estimate", "answerNum", "prior"],
        r,
        env,
      ),
      recurRecordArgs("klDivergence", ["estimate", "answerDist"], r, env),
      recurRecordArgs("logScoreWithPointResolution", ["estimate", "answerNum"], r, env),
    ]->E.A.O.firstSome
...
}
and recurRecordArgs = (
  fnName: string,
  argNames: array<string>,
  args: ExpressionValue.record,
  env: DistributionOperation.env,
): option<DistributionOperation.outputType> =>
  // argNames -> E.A2.fmap(x => Js.Dict.get(args, x)) -> E.A.O.arrSomeToSomeArr -> E.O.bind(a => dispatchToGenericOutput((fnName, a), _environment))
  argNames
  ->E.A2.fmap(x => Js.Dict.unsafeGet(args, x))
  ->(a => dispatchToGenericOutput((fnName, a), env))