Dgors03/Kollokvium0307
Archived
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Полезные комбинаторы

Browse Source
This commit is contained in:
Dmitriy Gorshenin
2022-05-12 19:14:13 +03:00
parent dc83f6e7d1
commit 91d7fb3beb
2 changed files with 102 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
Солкин Кирилл/README.md Normal file
View File

@@ -0,0 +1,19 @@
# Полезные комбинаторы
## Код из книги
#let mem x l = exists (fun y -> y = x) l;;
mem : ’a -> ’a list -> bool = <fun>
#let insert x l =
if mem x l then l else x::l;;
insert : ’a -> ’a list -> ’a list = <fun>
#let union l1 l2 = itlist insert l1 l2;;
union : ’a list -> ’a list -> ’a list = <fun>
#let setify l = union l [];;
setify : ’a list -> ’a list = <fun>
#let Union l = itlist union l [];;
Union : ’a list list -> ’a list = <fun>
#let intersect l1 l2 = filter (fun x -> mem x l2) l1;;
intersect : ’a list -> ’a list -> ’a list = <fun>
#let subtract l1 l2 = filter (fun x -> not mem x l2) l1;;
subtract : ’a list -> ’a list -> ’a list = <fun>
#let subset l1 l2 = forall (fun t -> mem t l2) l1;;
subset : ’a list -> ’a list -> bool = <fun>