abbréviations: rentrer client/structure.resolve dans le serveur #44

New Issue

gasche · 2021-09-15T12:11:17+02:00

gasche commented

2021-09-15 12:11:17 +02:00

On voudrait faire rentrer la fonction "resolve" dans le serveur en faisant de "convert" une opération du module (L: LANG) qui est passée en argument à MultiEq.

Ça coince parce que le type de convert dépend de Deep.t, où Deep.t est défini comme MakeDeep(ME), où ME est le résultat de MultiEq.Make: on ne peut pas ajouter à l'entrée de MultiEq.Make un type qui dépend de sa sortie.

Idée, faire en deux étages:

MultiEq.MakeStructure, le MultiEq.Make actuel
ensuite MultiEq.MakeResolve, qui est paramétré par un type "deep" construit sur MakeStructure, et qui contient la logique de resolve

On voudrait faire rentrer la fonction "resolve" dans le serveur en faisant de "convert" une opération du module (L: LANG) qui est passée en argument à MultiEq. Ça coince parce que le type de convert dépend de `Deep.t`, où `Deep.t` est défini comme `MakeDeep(ME)`, où `ME` est le résultat de `MultiEq.Make`: on ne peut pas ajouter à l'entrée de MultiEq.Make un type qui dépend de sa sortie. Idée, faire en deux étages: - `MultiEq.MakeStructure`, le `MultiEq.Make` actuel - ensuite `MultiEq.MakeResolve`, qui est paramétré par un type "deep" construit sur MakeStructure, et qui contient la logique de `resolve`

gasche commented

2021-09-15 12:14:24 +02:00

Poster

on a peut-être besoin d'un truc du genre (currification)

module Make : functor (L : Lang) ->
  module Structure : ...
  module Deep = MakeDeep(Structure)
  module Resolve : functor (Expand : ...) -> ...
end

on a peut-être besoin d'un truc du genre (currification) ```ocaml module Make : functor (L : Lang) -> module Structure : ... module Deep = MakeDeep(Structure) module Resolve : functor (Expand : ...) -> ... end ```

Sign in to join this conversation.

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#44