根據(jù)Alonzo Church 的lambda 算子的思路, 在Lisp 中序?qū)Φ臉?gòu)造和選擇函數(shù), 可以使用以下的定義: 這種形式的定義, 僅僅使用了函數(shù)定義和函數(shù)調(diào)用, 而...

根據(jù)Alonzo Church 的lambda 算子的思路, 在Lisp 中序?qū)Φ臉?gòu)造和選擇函數(shù), 可以使用以下的定義: 這種形式的定義, 僅僅使用了函數(shù)定義和函數(shù)調(diào)用, 而...
Groovy Groovy 是一種帶有可選類(lèi)型系統(tǒng)的動(dòng)態(tài)語(yǔ)言. 借助Groovy語(yǔ)言, 可以在需要強(qiáng)類(lèi)型時(shí)得到類(lèi)型系統(tǒng)的靜態(tài)檢查保障, 而在需要靈活性時(shí), 享受到Duck T...
場(chǎng)景 最近, 運(yùn)維部門(mén)的同事碰到一個(gè)問(wèn)題, 向Kafka 中 某個(gè)Topic 發(fā)送消息總是失敗. 調(diào)查下來(lái)發(fā)現(xiàn), Zookeeper 中記錄的該Topic 的Partitio...
場(chǎng)景 最近項(xiàng)目使用了Spring Boot 的STOMP 支持, 來(lái)完成服務(wù)器與瀏覽器之間的消息通知功能. STOMP 首先, 簡(jiǎn)單介紹一下STOMP 協(xié)議, Simple(...
Java 相關(guān)工具 gradle 項(xiàng)目網(wǎng)址 Overview gradle 是一款基于JVM 的自動(dòng)化構(gòu)建工具。 gradle.build文件是gradle 的配置文件,?其...
1. JAVA 并發(fā)編程基礎(chǔ) 從啟動(dòng)一個(gè)線程到線程間不同的通信方式. 1.1 線程 線程是系統(tǒng)調(diào)度的最小單位, 擁有各自的計(jì)數(shù)器, 堆棧和局部變量等屬性. 1.1.1.1 為...
1 volatile volatile 實(shí)現(xiàn)了輕量級(jí)的線程間通信機(jī)制. 1.1 volatile 的特性 對(duì)volatile 變量的單個(gè)讀/寫(xiě), 等價(jià)于使用同一個(gè)鎖對(duì)這些單個(gè)...
1. 并發(fā)編程 1.1 并發(fā)編程的挑戰(zhàn) 并發(fā)編程的目的是為了加快程序的運(yùn)行速度, 但受限于上下文切換和死鎖等問(wèn)題, 啟動(dòng)更多的線程并非能讓程序最大限度地并行執(zhí)行. 1.1.1...
0. 巨石應(yīng)用 巨石型應(yīng)用的好處:IDE都是為開(kāi)發(fā)單個(gè)應(yīng)用設(shè)計(jì)的、容易測(cè)試——在本地就可以啟動(dòng)完整的系統(tǒng)、容易部署——直接打包為一個(gè)完整的包,拷貝到web容器的某個(gè)目錄下即可...
1. FP 理念 1.1 不變性 沒(méi)有變量的概念, 只有'值'.避免改變狀態(tài)及可變數(shù)據(jù).三部曲: 編寫(xiě)函數(shù), 使用REPL工具測(cè)試, 使用. 1.2 聲明性風(fēng)格 代碼是描述期...
PMP 轉(zhuǎn)移 PMP 理論所要解決的場(chǎng)景, 是我們常見(jiàn)的傳統(tǒng)的軟件外包(包含內(nèi)包). 在此場(chǎng)景下, 甲方將產(chǎn)品交付和項(xiàng)目管理的責(zé)任轉(zhuǎn)移到了乙方. 對(duì)于甲方而已, 向乙方提供需...