Сравнение двух списков, имеющих разную структуру

Question

Я пытаюсь выполнить функцию сопоставления шаблонов в инструментах CPN с использованием SML. Я определил набор цветов EVENT: colset EVENT = product EVENTTYPE * EVENTTIME timed;

При сравнении списков меня интересует только тип события, поэтому я пытаюсь сравнить, например. [a,b] в [ (a,0), (b,1) ] к - так что я написал следующую SML-функцию, которая сравнивает два списка:

fun pattern_match _ [] = true 
    | pattern_match [] [x] = false 
    | pattern_match (x::xs) (y::ys) = 
    if #1 x = y 
    then pattern_match xs ys 
    else pattern_match xs (y::ys) 

который только дает мне неизвестную ошибку компилятора в evalloop.sml Так как я довольно новый для SML, я думаю, CPN-Tools # -оператор не поддерживается SML. К сожалению, я не знаю, как извлечь только часть кортежа из первого списка, в котором я действительно заинтересован. Любая помощь по этому поводу?

Answer 1

Inaimathi, вероятно, правильно, что есть более простой способ сделать то, что вы хотите, хотя это по-прежнему хорошее упражнение, чтобы исправить ваше определение так, чтобы оно работало.

Когда я ввожу свое определение прикольных в SML/NJ Я получаю ошибку

stdIn:10.1-14.30 Error: unresolved flex record 
    (can't tell what fields there are besides #1) 

Это означает, что определение типа SML не может разрешить тип адекватно. Это достаточно, чтобы дать ему небольшую подсказку:

fun pattern_match _ [] = true 
| pattern_match [] [y] = false 
| pattern_match ((x:string*int)::xs) (y::ys) = if #1 x = y 
then pattern_match xs ys 
else pattern_match xs (y::ys); 

Теперь, когда SML знает, что x имеет тип string*int компилирует.

выведенный тип является (string * int) list -> string list -> bool и она работает, как ожидалось:

- pattern_match [("a",0),("b",1)] ["a","b"]; 
val it = true : bool