I am reading Algoritms Nikolas Wirt and re-write find substring by example from book
module Text =
/// поиск индекс первого вхождения образца в строке
let findFirst (s: string) (p: string) =
// предикат проверяющий совпадение части строки с образцом
let eqSample i (s: string) (p: string) =
let rec loop j =
if j < p.Length && p.[j] = s.[i + j] then
loop (j + 1)
else
j
loop 0
let rec loop i =
if i <= s.Length - p.Length then
let dx = eqSample i s p
if dx = p.Length then i // нашли подстроку
else loop (i + dx + 1)
else -1 // Возвращаем -1, если не найдено
if p.Length > s.Length || p.Length = 0
then -1
else loop 0
> content.IndexOf substring;;
Real: 00:00:00.023, CPU: 00:00:00.023, GC gen0: 0, gen1: 0, gen2: 0
val it: int = 468658
> Text.findFirst content substring;;
Real: 00:00:00.003, CPU: 00:00:00.003, GC gen0: 0, gen1: 0, gen2: 0
val it: int = 468658
It is fine!