Definition 今天又回到 Category theory 的領域了,從一開始提到的 object 之間的 morphism - function,到 C...
應該很多人都是從 Java 轉到 Kotlin 陣營的吧?不管是面試或是隨意聊天,在我問別人喜歡 Kotlin 的什麼地方的時候,最常聽到的答案就是 null...
如果團隊有提交的範本需要遵守,以團隊的共識為優先。但無論是不是有提交原則,重點就是把標題跟內容寫清楚,讓 Review 的工程師能夠有效率把提交者的程式碼做檢視...
上一篇的解答: fun <R> map(transform: (T) -> R): LinkedList<R> { ret...
上次的解答: fun <P1, P2, P3, R> ((P1, P2, P3) -> R).curried(): (P1) -> (P...
前面看過兩次,今天終於要來介紹咖哩(誤)了,坦白說,在我的日常開發中並不會使用到這個概念,所以我沒辦法說服自己說,這是一個很方便的東西,以下到內容是我查閱資料整...
在之前的 Algebraic Data Type 中介紹了加法與乘法,也就是 Sum Type and Product Type,今天再來介紹另外一種 Alge...
上一篇的解答: fun <D, A> List<Reader<D, A>>.liftReader(): Reader<...
相依注入 - Dependency Injection ,對於 OOP 來說是一個很重要的概念,各框架、語言也都有非常多的函式庫可以用。主流的注入的方法主要有兩...
今天來介紹點大家不是很常碰到的神奇用法,看看下面這段程式: data class Path(val content: String, val id: Strin...
上一篇的解答: sealed class Either<A, B>() { class Left<A, B>(val valu...
Algebraic Data Type 的 0 與 1 在數學中,我們都知道數字 0 ,0 乘任何數字都是 0 、 0 加上任何數字的話就是該數字本身 ,或是...
Algebra ,也就是代數,大家國小都學過,可以由簡單的加法與乘法組合而成,在 Category theory 中,也有著這樣的概念,甚至可以將這些概念應用在...
在前面的很多篇中介紹了許許多多不同的“容器”,那這些“容器”對於 Category theory 又有什麼樣的意義?今天就來介紹其中一個:Functor。 Fu...
Pyenv 其他使用方法 除了上述安裝、解除安裝、在不同 Scope 切換不同的 Python 版本以外,以下還有一些比較特別的使用方法 使用 pyenv sh...
今天再來講多一點 flatMap 的例子吧!首先從 List 開始! FlatMap for List 一樣先看例子,以下這個例子的目標是分解句子中的單字,其中...
Side Effect Operator 前一篇介紹了 Observable 跟 Try 是如何處理Exception 這個 side effect,那麼可能有...
上次的解答, fold 在之後還會看到它的,在 functional programming 中是一個常見的 operator: fun fold(succes...
Pyenv 基本使用方法 安裝 Pyenv (macOS) 安裝 Pyenv (macOS) 需要輸入下面的指令 brew update brew instal...
source: https://imgs.xkcd.com/comics/python_environment.png 以我第一次拿到 macOS 中的...
今天要來談談“意外”這件事,沒有人喜歡“意外”對吧?尤其是 PM 或是 QA 的神之手,有時候就是會給你“意外”的操作出一些 bug ,而你又重現不出來時,要怎...
主題介紹 今天是開賽的第一天,首先想先介紹一下這個主題將會提到哪些內容: 什麼是用「舒服的姿勢」開發 Python Project?我指的是說當要開始開發 Py...
上一篇的解答: private fun <K, V, R> Map<K, V>.fmap(transform: (V) -> R)...
Kotlin collections: List, Map and Set 上一篇的解答:答案是不一定,如果 Money 這個 class 的其中一個變數是 v...
上一篇的解答: infix fun <T, Q, R> ((T) -> Q).pipe(anotherFun: (Q) -> R): (...
Function composition 回想以前在學校的時候,對於數學函式的第一印象就是一堆 f(x) 跟 g(x) 了,還有他們的組合:f(g(x))。這在...
前言 這系列的文章算是我給自己的筆記,從學習 Functional programming 以來已經也有了兩年了吧!過程中跌跌撞撞,很常發現在跟別人介紹 Fun...
前言 其實到了這一篇基本上就已經到了最後,我們再來只要將切好的資料放進對應好的欄位裡面就完成了 那這邊為了將盡量做到 MVC 的架構(對 Android 還是不...
回顧 我們在上一篇的內容中,使用了 httpURLConnection 與政府資料開放平台所提供的口罩資訊資料做連結來取得我們所需的 CSV 檔,並且也在最後藉...
前言 因為工作需要所以重新學習以經好幾年沒有碰的 Android 開發,還記得大學的時候對 Android 開發印象真的是差到爆表...,所以後來也就都沒有在自...