什么是代數(shù)數(shù)據(jù)類型 (縮寫:ADT)是一種復(fù)合類型,指由其他資料類型組合而成的類型,在電腦編程中,尤其是函數(shù)式編程和類型論中應(yīng)用。兩類常見的代數(shù)類型是積類型(即元組和記錄)與...
什么是代數(shù)數(shù)據(jù)類型 (縮寫:ADT)是一種復(fù)合類型,指由其他資料類型組合而成的類型,在電腦編程中,尤其是函數(shù)式編程和類型論中應(yīng)用。兩類常見的代數(shù)類型是積類型(即元組和記錄)與...
Table of Contents 背景 挑戰(zhàn) 方法3.1. 保持簡單3.1.1. 保持測試代碼簡單3.1.2. 保持架構(gòu)簡單3.2. 適度冗余和出錯重試3.3. 隔離變化3...
是的,手動操作太多了,文章管理起來有點(diǎn)麻煩
基于emacs 在線博客系統(tǒng)搭建(1)目錄 1. emacs 在線博客系統(tǒng)搭建 1.1. org->html 1.2. org->PDF 1.2.1. 修改tex命令使用xelatex...
本文面向golang的新手,第一次接觸golang時可能會吃驚的地方 1. 以大小寫開頭來決定一個聲明是包內(nèi)可見,還是包外可見 如果一個常量/變量/類型/函數(shù) 它的名稱是小寫...
Spring Cloud的一整套云原生 業(yè)務(wù)server 就是用Spring Boot搭建的一個個實(shí)際業(yè)務(wù)的Server。本文假設(shè)一個簡單的業(yè)務(wù)場景:總計(jì)有2個服務(wù): 用戶服...
Postgresql 事務(wù)總結(jié) 五種并發(fā)問題 丟失更新: 一個事務(wù)覆蓋另一個事務(wù)已提交的更新數(shù)據(jù). dirty read: 一個事務(wù)讀取到另一個事務(wù)還沒提交的數(shù)據(jù). repe...