Пытаюсь написать функцию, которая из Map.S.t достаёт значение по ключу

Question

Пытаюсь написать функцию, которая из Map.S.t достаёт значение по ключу

или вызывает on_none, если значения нет. пробовал так:

let find_exn :
type a.
(module Map.S with type key = string) ->
key:string ->
on_none:(unit -> a) ->
??? ->
a =
fun (module S) ~key ~on_none map ->
match S.find_opt key map with Some value -> value | None -> on_none ()

но не понял что написать вместо ??? (тип параметра map)

#programming #reasonml #russian

0

24.12.2023

4 ответов

34 просмотра

hirrolot Автор вопроса

TOV_MULTIMASSO
a Map.S.t?

ну что-то такое делал и не вышло

0

12 месяцев назад

Dika

hirrolot
ну что-то такое делал и не вышло

Map.S это сигнатура; t нужен из модуля-аргумента. То есть, здесь нужно нечто вроде : (module Map.S with key = string and type 'a t = 'el 'map) -> 'el 'map -> on_none:(unit -> 'el) -> ..., но без higher-kinded полиморфизма на уровне типов так не выйдет. Аналогично и с монадами. Функтором можно выразить, только получится вербозно: module MakeFindExn (M : Map.S) = struct let run ~key ~on_none map = match M.find_opt key map with Some value -> value | None -> on_none () end А если modular explicits все же замержат, это можно будет красиво записать как let find_exn {M : Map.S} ~key ~on_none map = match M.find_opt key map with [...]

0

12 месяцев назад

TOV_MULTIMASSO

Dika
Map.S это сигнатура; t нужен из модуля-аргумента. ...

О, почти завтипы

0

12 месяцев назад

TOV_MULTIMASSO · Accepted Answer

TOV_MULTIMASSO

a Map.S.t?

0

12 месяцев назад

169 похожих чатов

Пытаюсь написать функцию, которая из Map.S.t достаёт значение по ключу

4 ответов

Похожие вопросы