दिसंबर में वापस, मैं अंग्रेजी में एक बिल्कुल उल्लेखनीय लेख के लिए आया था, अनुप्रयोगों की विश्वसनीयता बढ़ाने और रीफैक्टरिंग में आसानी के लिए, भाषा के प्रकार की प्रणाली के उपयोग के लिए समर्पित था। दुर्भाग्य से, उस समय मैं वायुसेना पर लेख लिखने में बहुत व्यस्त था, जिसे लिखना बहुत महत्वपूर्ण था, जबकि यादें अभी भी ताजा हैं। लेकिन अब, जब मैंने इस कार्य को पूरा किया, तो मैं अंत में इस अद्भुत नोट का अनुवाद करने के लिए तैयार हो गया। उदाहरणों की मूल भाषा हास्केल है, लेकिन मैंने दर्शकों की व्यापक पहुंच के लिए उन्हें एक रैस्ट में कॉपी करने का फैसला किया। हालाँकि, यहां की भाषा पूरी तरह से महत्वहीन है, इस लेख की युक्तियां मैं दैनिक विकास में पूरी तरह से "सांसारिक" सी # और टाइपस्क्रिप्ट पर उपयोग करता हूं, इसलिए यदि आप बस विश्वसनीय और समर्थित कोड लिखने की कोशिश करते हैं, तो, भाषा की परवाह किए बिना, लेख विषय में होगा।

प्रूफरीडिंग और अनुवाद सहायता के लिए धन्यवाद। Hirrolot, funkill तथा andreevlex

समय की एक लंबी अवधि में, मैं यह समझाने के लिए एक सटीक, सरल तरीका खोजने के लिए संघर्ष किया कि टाइप-ड्रिवेन डिज़ाइन क्या है ( इसके बाद - टाइपडीडी, लगभग। ट्रांस। )। काफी बार उन्होंने मुझसे पूछा कि "आप इस तरह का निर्णय कैसे ले सकते हैं?", लेकिन मेरे पास कोई संतोषजनक जवाब नहीं था। मुझे पता है कि यह मेरे लिए एक दृष्टि के रूप में नहीं आया था: मेरे पास एक पुनरावृत्त डिजाइन प्रक्रिया थी जो मुझे "सही" वास्तुकला को प्राप्त करने के लिए बाध्य नहीं करती थी, लेकिन अभी तक मैं दूसरों के लिए इस प्रक्रिया की व्याख्या करने में सक्षम नहीं हूं।

: JSON , , . , , , TypeDD, , , :

, .

TypeDD

, : TypeDD, , , . , . , , , .

, , , " ?". :

enum Void {}

fn foo(x: i32) -> Void

? , — , .. Void — , , Void. , , :

fn head<T>(xs: Vec<T>) -> T

. ? , - , , :

fn head<T>(xs: Vec<T>) -> T {
    match xs.as_slice() {
        [x, ..] => *x
    }
}

error[E0004]: non-exhaustive patterns: `&[]` not covered
 --> src/lib.rs:2:11
  |
2 |     match xs.as_slice() {
  |           ^^^^^^^^^^^^^ pattern `&[]` not covered
  |

, , , . , , [], . , .. , , , ! , , , ( , . .).

- . , . , " " - , . head, , .

, head , .. : , . , : . , , , , : , , . Rust Option:

fn head<T>(xs: Vec<T>) -> Option<T>

, head — None, , T:

fn head<T>(xs: Vec<T>) -> Option<T> {
    match xs.as_slice() {
        [x, ..] => Some(*x),
        [] => None,
    }
}

, ? , — … .

Option, , , head. . head None, , . , :

fn get_configuration_directories() -> Result<Vec<String>, &'static str> {
    let config_dirs_string = std::env::var("CONFIG_DIRS").map_err(|_| "cannot read env")?;
    let list: Vec<_> = config_dirs_string.split(',').map(|x| x.to_string()).collect();
    if list.is_empty() {
        return Err("CONFIG_DIRS cannot be empty");
    }
    Ok(list)
}

fn main() -> Result<(), &'static str> {
    let config_dirs = get_configuration_directories()?;
    match head(config_dirs) {
        Some(cacheDir) => initialize_cache(cacheDir),
        None => panic!("should never happen; already checked config_dirs is non-empty")
    }
    Ok(())
}

get_configuration_directories , . head main, , Option<&str> None, , , ! :

-, . , , ?
-, . , , , , , .
, , . , get_configuration_directories , , , ? , main, "" , .

. None , get_configuration_directories .
, , .

, head , . , - : , , head , , , . ?

() head .

fn head<T>(xs: Vec<T>) -> T

, . , , : ( — Vec<T>). , head .

, , .
, NonEmptyVec . :

struct NonEmptyVec<T>(T, Vec<T>);

, NonEmptyVec — T (, ) Vec<T>. , Vec<T> [], . , head :

fn head<T>(xs: NonEmptyVec<T>) -> T {
    xs.0
}

, , , , . :

fn get_configuration_directories() -> Result<NonEmptyVec<String>, &'static str> {
    let config_dirs_string = std::env::var("CONFIG_DIRS").map_err(|_| "cannot read env")?;
    let list: Vec<_> = config_dirs_string.split(',').map(|x| x.to_string()).collect();
    match non_empty(list) {
        Some(x) => Ok(x),
        None => Err("CONFIG_DIRS cannot be empty")
    }
}

fn main() -> Result<(), &'static str> {
    let config_dirs = get_configuration_directories()?;
    initialize_cache(head(config_dirs));
    Ok(())
}

, main ! , get_configuration_directories. NonEmptyVec Vec non_empty, :

fn non_empty<T>(list: Vec<T>) -> Option<NonEmptyVec<T>>

, Option , None : . , NonEmptyVec, ( !) , . , NonEmptyVec Vec<T> , .

head , :

, .
, get_configuration_directories , . , main , !

, head , non_empty:

fn old_head<T>(xs: Vec<T>) -> Option<T> {
    non_empty(xs).map(head)
}

, : head . , .

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

fn validate_non_empty<T>(xs: Vec<T>) -> Result<(), UserError> {
    if !xs.is_empty() {
        Ok(())
    } else {
        Err(UserError::new("list cannot be empty"))
    }
}

fn parse_non_empty<T>(mut xs: Vec<T>) -> Result<NonEmptyVec<T>, UserError> {
    if !xs.is_empty() {
        let head = xs.remove(0);
        Ok(NonEmptyVec(head, xs))
    } else {
        Err(UserError::new("list cannot be empty"))
    }
}

: , , . : validate_non_empty (), , , parse_non_empty NonEmptyVec<T>, , . , parse_non_empty , validate_non_empty .

: validate_non_empty , parse_non_empty , . , parse_non_empty , , ", ". parse_non_empty. - , ? , , , , parse_non_empty , .

: ? , , , . , — — , - . , , , parse_non_empty : , .

: , , , ! Rust , :

serde_json from_str JSON
clap -
diesel , .
actix-web Rust , , HTTP .

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

, , : , . : - , . , NonEmpty : , .

, , , . , ? , , , ?

, . Ad-hoc , - . 2016 The Seven Turrets of Babel: A Taxonomy of LangSec Errors and How to Expunge Them :

— , , , ; , ( - ), "" .

, :

, . , - , .

, , , , , , , . — , , , — .

, — , , . , , , , "" . , , .

, : , , , . , .

, ,

, . ", , !", , , . "" "", "".

: .

, , , , , - . — , , :

fn check_no_duplicate_keys<K: Eq, V>(xs: &[(K,V)]) { ... }

"" — : . - , , , . , , , HashMap. , HashMap , , .

, , , , , . - , HashMap . , , , . check_no_duplicate_keys:

fn check_no_duplicate_keys<K: Eq, V>(xs: &[(K,V)]) -> HashMap<K,V> { ... }

, !

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

, . - , .

, , , , . , , - . , - !

, :

, . bool , ( , , . .). , — , , ,
Result<(), Error> . , - , , .
. , , , , , , . — -.
, , : .
- . , , , .
, " " . , , , , , . (newtype) , - .

, . , error "impossible" - — , , . , , .

, -. , , — ! , .

. , — " " — . , , , . , — ! — . , — .

, , : Type Safety Back and Forth. , . Ghosts of Departed Proofs, , , .

, , , . , — , . , TypeDD, , , , . , , . , — .

, — , .

पार्स, मान्य नहीं

TypeDD

, ,

More articles: