Привет!

Мне тут для курсача нужен какой-нибудь весьма хитрый pattern-matching из жизни
Ни язык, ни что делает код не имеет значения, мне важно чтобы:
* Разбор проходил по сразу нескольким значениям
* Использовались вложенные match/case/switch etc

В общем нечто такое, от чего у вас аж зубы сводит, как смотрите
Может на работе встречалось, или просто видели где-то

Например, вот есть кусочек интерпретатора кодов виртуальной машины для PCF (mini-ML)

let rec run a s e c = match a,s,c with
| _,_,Ldi i::c -> 1
| _,_,Push::c -> 2
| Int n2,Val (Int n1)::s,IOp op::c -> 3
| Int 0,_,Test (c2,_)::c -> 4
| Int _,_,Test (_,c3)::c -> 5
| _,_,Extend::c -> 6
| _,_,Search k::c -> 7
| _,_,Pushenv::c -> 8
| _,Env e::s,Popenv::c -> 9
| _,_,Mkclos cc::c -> 10
| _,_,Mkclosrec cc::c -> 11
| Clo (cc,ce),Val v::s,Apply::c -> 12
| a,(Code c::Env e::s),[] -> 13
| a,[],[] -> 14

Но мне нужны еще вложенные разборы, а оригинал я найти не могу :с

Мб бар и холивары? М?

Мб бар и холивары? М?

Всем добрый день!  Я работаю над дипломным проектом по реализации
программного комплекса для верификации смарт-контрактов на Coq. Должно получиться что-то похожее на то, что описывал Андрей Ляшин в этом видео: https://www.youtube.com/watch?v=Lr35-EZ0Od8&feature=emb_logo Мне хотелось бы найти специалиста, который мог бы мне помочь. Срок - до 20 января. Естественно за плату)) Также буду благодарен за контакты Ляшина, т.к. те, что указаны в видео, не работают.

Всем добрый день!  Я работаю над дипломным проектом по реализации
программного комплекса для верификации смарт-контрактов на Coq. Должно получиться что-то похожее на то, что описывал Андрей Ляшин в этом видео: https://www.youtube.com/watch?v=Lr35-EZ0Od8&feature=emb_logo Мне хотелось бы найти специалиста, который мог бы мне помочь. Срок - до 20 января. Естественно за плату)) Также буду благодарен за контакты Ляшина, т.к. те, что указаны в видео, не работают.

если есть какие-то конкретные вопросы по Coq или смарт-контрактам, можно в этом чатике https://t.me/practical_fm спрашивать.
Там вроде обитают люди компетентные в этих темах )

по Coq, кстати, есть отдельный чатик)

ого, не знал, а можно ссылочку ?)

добрый день! а в чем должна заключаться помощь? это может стоить от "бесплатно" до "слишком дорого для диплома" (интерес не совсем праздный, т.к. я как раз этой темой занимаюсь на работе)

Всем добрый день!  Я работаю над дипломным проектом по реализации
программного комплекса для верификации смарт-контрактов на Coq. Должно получиться что-то похожее на то, что описывал Андрей Ляшин в этом видео: https://www.youtube.com/watch?v=Lr35-EZ0Od8&feature=emb_logo Мне хотелось бы найти специалиста, который мог бы мне помочь. Срок - до 20 января. Естественно за плату)) Также буду благодарен за контакты Ляшина, т.к. те, что указаны в видео, не работают.

Я бы тоже хотел в чат по Coq, если можно)

Это я Андрей Ляшин:)