RosettaCodeData/Task/DNS-query/Standard-ML/dns-query.ml
2023-07-01 13:44:08 -04:00

2 lines
136 B
Standard ML

- Option.map (NetHostDB.toString o NetHostDB.addr) (NetHostDB.getByName "www.kame.net");
val it = SOME "203.178.141.194": string option