Jakie są opcje Niektóre i Brak SML?

Question

Jestem nowy dla sml (i programowania, faktycznie).

fun readlist (infile : string) = 

    let 
    val 
     ins = TextIO.openIn infile 

     fun loop ins = 

     case TextIO.inputLine ins of 

     SOME line => line :: loop ins 

    | NONE  => [] 

    in 

    loop ins before TextIO.closeIn ins 

    end ; 

To program, który tu spotkałem. Jak korzystać z niektórych i braków. A jak używać "przed"?

Answer 1

Typ danych Option jest używany, jeśli istnieje możliwość wystąpienia czegoś niepoprawnego.

Na przykład

fun divide x y = if y == 0 then NONE else SOME (x/y) 

mogą być wykorzystane, jeśli trzeba obsłużyć szczególny przypadek dzielenia przez zero, bez uciekania się do wyjątków.

TextIO.inputLine powraca NONE gdy nie ma nic więcej do czytania, a SOME l, gdzie l jest linia to czytać, gdy nie jest.

before to funkcja wstawiania o niskim priorytecie (najniższa ze wszystkich), która najpierw ocenia lewą stronę, następnie prawą stronę, a następnie zwraca wartość po lewej stronie.
Ma on typ 'a -> unit -> 'a, tj. Prawa strona jest używana tylko dla jej efektów ubocznych.

W tym przypadku, to sprawia, że ​​kod nieco bardziej czytelne (i funkcjonalny wyglądzie) niż równowartość

fun readlist (infile : string) = 
    let 
    val 
     ins = TextIO.openIn infile 
     fun loop indata = 
      case TextIO.inputLine indata of 
       SOME line => line :: loop indata 
      | NONE  => [] 
     result = loop ins 
    in 
    TextIO.closeIn ins; 
    result 
    end 

Answer 2

Some('a) i None są częścią typu danych Option. Option jest algebraiczną lub złożoną strukturą danych znalezioną w SML's Basis Library. Więcej informacji na temat typu danych opcji na Wikipedia. Ideą jest, aby funkcja zwróciła wartość None, gdy nie ma sensu, aby funkcja zwróciła wartość typu, którego programista naprawdę się interesuje.

W przypadku zdefiniowanej przez użytkownika funkcji readlist ważnymi danymi są ciągi. Ale w pewnym momencie program trafi na koniec pliku i odczytuje wartość interpretowaną jako EOF zamiast ciągu.

Pomyśl o TextIO.openIn jako funkcji, która otwiera strumień i wyszukuje go dla ciągów. Za każdym razem, gdy znajdzie ciąg, zwraca on option(string). Gdy nie znajdzie ciągu, zwróci None. Ponieważ oba są częścią typu danych Option(string), zwraca tylko jeden typ.

Strumień linii wejściowej strumienia] zwraca KATALOG (ln), gdzie ln jest kolejnym wierszem wejścia w strumieniu strumienia. W szczególności ln zwraca wszystkie znaki z aktualnej pozycji do następnego znaku nowego wiersza (# "\ n"). Jeśli to wykryje koniec strumienia przed następnym znakiem nowego wiersza, zwraca on znak dołączony do znaków nowej linii. Tak więc, ln jest gwarantowane zawsze być zakończone nową linią (a zatem niepustą). Jeśli obecna pozycja strumienia jest końcem strumienia, to zwraca NONE. Podnosi rozmiar, jeśli długość linii przekracza długość najdłuższego łańcucha .

Związana koncepcja w SML to user-defined datatypes. Zarówno struktura danych, jak i typy danych zdefiniowane przez użytkownika zapewniają elastyczność w statycznym systemie SML w nieco podobny sposób do sposobu, w jaki obiekty są używane w statycznie typowanych językach obiektowych.