Tidak, sistem tipe dinamis pada dasarnya tidak lebih terbuka

Perang suci di Internet tentang sistem tipe terus menderita dari mitos yang tersebar luas bahwa sistem tipe dinamis secara inheren lebih cocok untuk memodelkan bidang subjek "dunia terbuka". Biasanya argumennya adalah: tujuan dari pengetikan statis adalah untuk menangkap semua entitas seakurat mungkin, tetapi di dunia nyata ini hanya merepotkan. Sistem nyata harus digabungkan secara longgar dan sesedikit mungkin terikat pada penyajian data, oleh karena itu pengetikan dinamis mengarah ke sistem yang lebih stabil secara keseluruhan.

Kisah ini terdengar meyakinkan, tetapi itu tidak benar. Kesalahan dalam penalaran seperti itu adalah bahwa tipe statis tidak dimaksudkan untuk "mengklasifikasikan dunia" atau menentukan struktur setiap nilai dalam sistem. Kenyataannya adalah bahwa sistem tipe statis memungkinkan Anda menentukan dengan tepat berapa banyak komponen yang harus diketahui tentang struktur data inputnya, dan, sebaliknya, berapa banyak yang tidak diketahuinya. Dalam praktiknya, sistem tipe statis dengan sempurna memproses data dengan struktur yang diketahui sebagian, serta dapat memastikan bahwa logika aplikasi tidak secara tidak sengaja menganggap terlalu banyak tentang data.

Dua kebohongan tentang tipe

, . , , /r/programming:

[…], . , , «» , , - .
, , . JSON , . , . […] « » , .

, , , , . , - , , ? , , .

Hacker News :

, , pickle.load()?

, , , . , , .

, , . , , : . , ; , .

,

: , , , , ! , . , .

. , , . (payload), . , - , JSON EDN.

, , :

{
  "event_type": "signup",
  "timestamp": "2020-01-19T05:37:09Z",
  "data": {
    "user": {
      "id": 42,
      "name": "Alyssa",
      "email": "alyssa@example.com"
    }
  }
}

signup- . , . JavaScript, :

const handleEvent = ({ event_type, data }) => {
  switch (event_type) {
    case 'login':
      /* ... */
      break
    case 'signup':
      sendEmail(data.user.email, `Welcome to Blockchain Emporium, ${data.user.name}!`)
      break
  }
}

, Haskell? , Haskell, , , :

data Event = Login LoginPayload | Signup SignupPayload
data LoginPayload = LoginPayload { userId :: Int }
data SignupPayload = SignupPayload
  { userId :: Int
  , userName :: Text
  , userEmail :: Text
  }

instance FromJSON Event where
  parseJSON = withObject "Event" \obj -> do
    eventType <- obj .: "event_type"
    case eventType of
      "login" -> Login <$> (obj .: "data")
      "signup" -> Signup <$> (obj .: "signup")
      _ -> fail $ "unknown event_type: " <> eventType

instance FromJSON LoginPayload where { ... }
instance FromJSON SignupPayload where { ... }

handleEvent :: JSON.Value -> IO ()
handleEvent payload = case fromJSON payload of
  Success (Login LoginPayload { userId }) -> {- ... -}
  Success (Signup SignupPayload { userName, userEmail }) ->
    sendEmail userEmail $ "Welcome to Blockchain Emporium, " <> userName <> "!"
  Error message -> fail $ "could not parse event: " <> message

, (, , ). . , Reddit, , Haskell , ! Event, . , ? .

, JavaScript . , switch . , JavaScript . , .

, , . Event, , handleEvent. JavaScript, , :

const handleEvent = ({ event_type, data }) => {
  switch (event_type) {
    /* ... */
    default:
      throw new Error(`unknown event_type: ${event_type}`)
  }
}

, . , , . , , Haskell:

handleEvent :: JSON.Value -> IO ()
handleEvent payload = case fromJSON payload of
  {- ... -}
  Error _ -> pure ()

- «, », , . , ( ) . , ! , .

: Event Haskell « », , . , , . , , , .

, , , :

• Haskell, . , , timestamp, . , , , , , !

  
  

• , , Haskell userId SignupPayload, . , (, , userId ), ; , , , .

  
  

• , , (shotgun parsing), , .

  
  

, , , , , . , , . , , , , , , .

JavaScript , Haskell: , JSON event_type «» signup data.user.name data.user.email. ! , JavaScript , . , ; , , - .

, , , , .

, , , - -. , , . , . JavaScript :

const handleEvent = (payload) => {
  const signedPayload = { ...payload, signature: signature(payload) }
  retransmitEvent(signedPayload)
}

( signature JSON), , . , ?

, : , . Haskell:

handleEvent :: JSON.Value -> IO ()
handleEvent (Object payload) = do
  let signedPayload = Map.insert "signature" (signature payload) payload
  retransmitEvent signedPayload
handleEvent payload = fail $ "event payload was not an object " <> show payload

, , JSON.Value. Event — JSON , , .

: , JSON- ( -), - JSON, - . , , , , . .

, , Haskell, JavaScript! JavaScript handleEvent ( JSON ), , , , spread- … :

> { ..."payload", signature: "sig" }
{0: "p", 1: "a", 2: "y", 3: "l", 4: "o", 5: "a", 6: "d", signature: "sig"}

, . , . «» JSON Object, . -, , .

, . , API, , , UUID. «, » , API Haskell UUID:

type UserId = UUID

, Reddit, , ! API , UUID, , . UUID , , , ! , ?

, — . , — . , UserId — :

newtype UserId = UserId Text
  deriving (Eq, FromJSON, ToJSON)

, UUID, UserId, , Text. ( , ), UserId — FromJSON. , , UserId — UserId ToJSON. : .

, , . UserId , UserId .

— , . , , , .

-

, , , , , . pickle.load() Python? , , Python. pickle.dump(), pickle.load().

, , pickle.load(), — , pickle.dump(). , , . , , , .

, JSON, , pickle Python Python , . ? , , pickle.load(). , :

def load_value(f):
  val = pickle.load(f)
  #  -  `val`

, val , , , , , - . - - , , pickle.load(f) , , val!

, , , val val.foo() , . Java, val — , :

interface Foo extends Serializable {
  String foo();
}

, pickle.load() Java:

static <T extends Serializable> Optional<T> load(InputStream in, Class<? extends T> cls);

, , pickle.load(), Class<T> . Serializable.class , . : , -, - , ! , , JSON-.

Haskell? — serialise, API, , Java, . API , Haskell JSON, aeson, , , JSON Haskell — - - , -.

, , pickle.load(), . , . - , , , , . , (, REPL ), , .

. , , , , - , «» , , . , , , , , .

. , , , ( ). , , «» .

: ,

: . , , , , , .

, , . -, - (nominal typing). , , , , . , . , .

, , , , . , , -, , ( ).

. JavaScript Clojure - , - , . ( ) .

, , - , , . ( ) , (nominal typing). , ; (boilerplate).

, , . , , , . , :

1. , , , , . ( ), : , .

   
   

2. , , - . , , , . , .

   
   

Python, , , , TypeScript, , . , . - Clojure — , - — , - Clojure, - .

, : TypeScript, Flow, PureScript, Elm, OCaml Reason, . — Haskell, ; Haskell ( , ) .

, Haskell , ? , ; Haskell, , . Haskell, , . , Haskell, , , . ( , , Haskell!)

: , , , . , , , . — , , , , . .