Une traduction littérale (déconseillée) est :

let mutable i = 0
let tabAdresseIP = Array.zero_create 4
for chainonIP in str.Split([|'.'|]) do
tabAdresseIP.[i] <-...