Тут разница между просто стандартным не хорошим кодом, и комедией абсурда на хаках.

let search sec query = let search_space = List.fold sec ~init:[] ~f:(fun acc e -> let prefix = Entry.title e ^ " " in List.fold (Entry.payload e) ~init:acc ~f:(fun acc (k, v) -> (prefix ^ k, v) :: acc) ) in let rs = String.concat_map query ~sep:".*?" ~f:(fun c -> "(" ^ String.of_char c ^ ")") in let rs = "(?i)" ^ rs in let r = Regex.create_exn rs in List.filter_map search_space ~f:(fun (summary, value) -> match Regex.get_matches ~max:1 r summary with | Ok r -> (match r with | m :: _ -> let summary_hl = ref (Set.empty ~comparator:Int.comparator) in let num_submatches = (String.length query) in for i = 1 to num_submatches do let (match_indx, _) = Regex.Match.get_pos_exn ~sub:(`Index i) m in summary_hl := Set.add !summary_hl match_indx done; Some { summary; summary_hl=(!summary_hl); value } | [] -> None ) | Error _ -> None )

let search sec query = let search_space = List.fold sec ~init:[] ~f:(fun acc e -> let prefix = Entry.title e ^ " " in List.fold (Entry.payload e) ~init:acc ~f:(fun acc (k, v) -> (prefix ^ k, v) :: acc) ) in let rs = String.concat_map query ~sep:".*?" ~f:(fun c -> "(" ^ String.of_char c ^ ")") in let rs = "(?i)" ^ rs in let r = Regex.create_exn rs in List.filter_map search_space ~f:(fun (summary, value) -> match Regex.get_matches ~max:1 r summary with | Ok r -> (match r with | m :: _ -> let summary_hl = ref (Set.empty ~comparator:Int.comparator) in let num_submatches = (String.length query) in for i = 1 to num_submatches do let (match_indx, _) = Regex.Match.get_pos_exn ~sub:(`Index i) m in summary_hl := Set.add !summary_hl match_indx done; Some { summary; summary_hl=(!summary_hl); value } | [] -> None ) | Error _ -> None )

Лапша. В такие моменты мне кажется, что идея запретить использовать неименованные лямбды в ml подобных языках кажется вполне разумной.

Кастомные операторы

@eglyph МОЗЖЕЧОК

let search sec query = let search_space = List.fold sec ~init:[] ~f:(fun acc e -> let prefix = Entry.title e ^ " " in List.fold (Entry.payload e) ~init:acc ~f:(fun acc (k, v) -> (prefix ^ k, v) :: acc) ) in let rs = String.concat_map query ~sep:".*?" ~f:(fun c -> "(" ^ String.of_char c ^ ")") in let rs = "(?i)" ^ rs in let r = Regex.create_exn rs in List.filter_map search_space ~f:(fun (summary, value) -> match Regex.get_matches ~max:1 r summary with | Ok r -> (match r with | m :: _ -> let summary_hl = ref (Set.empty ~comparator:Int.comparator) in let num_submatches = (String.length query) in for i = 1 to num_submatches do let (match_indx, _) = Regex.Match.get_pos_exn ~sub:(`Index i) m in summary_hl := Set.add !summary_hl match_indx done; Some { summary; summary_hl=(!summary_hl); value } | [] -> None ) | Error _ -> None )

ну просто подсознательно после цитат про пейперы и алгебраические эффекты ждешь ну не знаю, аппликативы там, функторы

Я прочитал так, что для тебя!

Это его код?

угу. старый правда. но новый он не пишет че-то

Правда, таким ребятам потом себя тяжело в жизни найти

let search sec query = let search_space = List.fold sec ~init:[] ~f:(fun acc e -> let prefix = Entry.title e ^ " " in List.fold (Entry.payload e) ~init:acc ~f:(fun acc (k, v) -> (prefix ^ k, v) :: acc) ) in let rs = String.concat_map query ~sep:".*?" ~f:(fun c -> "(" ^ String.of_char c ^ ")") in let rs = "(?i)" ^ rs in let r = Regex.create_exn rs in List.filter_map search_space ~f:(fun (summary, value) -> match Regex.get_matches ~max:1 r summary with | Ok r -> (match r with | m :: _ -> let summary_hl = ref (Set.empty ~comparator:Int.comparator) in let num_submatches = (String.length query) in for i = 1 to num_submatches do let (match_indx, _) = Regex.Match.get_pos_exn ~sub:(`Index i) m in summary_hl := Set.add !summary_hl match_indx done; Some { summary; summary_hl=(!summary_hl); value } | [] -> None ) | Error _ -> None )

он-то как раз себя нашел. техлид, на хорошем счету у руководства

а вы что core (или base оно называется) юзаете? в стандартном же окамле нет List.fold

Я раньше поражался тому, как уродливы изнутри «взлетевшие» проекты. Сейчас я знаю: красивые проекты не взлетают, потому что они не успевают взлететь. Пока инженеры в белых халатах прикручивают красивый двигатель к идеальному крылу, бригада взлохмаченных придурков во главе с безумным авантюристом пролетает над ними на конструкции из микроавтобуса, забора и двух промышленных фенов, навстречу второму туру инвестиций. Авантюрист любезно раздаёт восторженным пассажирам талоны и бумажные пакетики.

Я раньше поражался тому, как уродливы изнутри «взлетевшие» проекты. Сейчас я знаю: красивые проекты не взлетают, потому что они не успевают взлететь. Пока инженеры в белых халатах прикручивают красивый двигатель к идеальному крылу, бригада взлохмаченных придурков во главе с безумным авантюристом пролетает над ними на конструкции из микроавтобуса, забора и двух промышленных фенов, навстречу второму туру инвестиций. Авантюрист любезно раздаёт восторженным пассажирам талоны и бумажные пакетики.

я как раз неделю назад эту же тему поднимал)

http://www.aaronstannard.com/new-rules-dotnet-oss/

наверное, MaUI можно отнести в эту категорию — типа не стали авалонию поддерживать. Но тут тоже трудно сказать — замарин уже давно у них