├── CONTRIBUTING.md ├── LICENSE └── README.md /CONTRIBUTING.md: -------------------------------------------------------------------------------- 1 | # Contributing 2 | 3 | ```cmd 4 | $ npx prettier --write *.md 5 | ``` 6 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | MIT License 2 | 3 | Copyright (c) 2017 PureScript.tw 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # PureScript.tw Meetups 2 | 3 | Collection of slides and links of meetups 4 | 5 | ## PureScript TW Meetup #13: Introduction to Type Class 6 | 7 | * Date: 2017/12/20 8 | * [Registration Page](https://www.facebook.com/events/152553418695902/) 9 | * [Slides](https://speakerdeck.com/cybai/purescript-tw-meetup-number-13-introduction-to-type-class) 10 | * [Video](https://youtu.be/EfPxnrciUdQ) 11 | 12 | ```md 13 | 上次介紹完語法後，這次要進入 Algebraic Data Types 的世界了！ 14 | 第六章主要介紹 Type Classes，歡迎有興趣的朋友前來參加！ 15 | 16 | 書的連結：https://github.com/paf31/purescript-book/blob/master/text/chapter6.md 17 | 18 | 抵達華南銀行大樓一樓時，請聯繫 Wu Ching Ting，並用一樓大廳右側的機器取得門禁卡。 19 | ``` 20 | 21 | ## PureScript TW Meetup #12: Pattern Matching & Algebraic Data Types 22 | 23 | * Date: 2017/12/20 24 | * [Registration Page](https://www.facebook.com/events/199301420639980/) 25 | * [Slides](https://speakerdeck.com/cybai/purescript-meetup-number-12) 26 | * [Video](https://youtu.be/_axgs3WtBhA) 27 | 28 | ```md 29 | 上次介紹完語法後，這次要進入 Algebraic Data Types 的世界了！第五章主要介紹 Pattern Matching 及 ADT，歡迎有興趣的朋友前來參加！ 30 | 31 | 書的連結：https://github.com/paf31/purescript-book/blob/master/text/chapter5.md 32 | 33 | 抵達華南銀行大樓一樓時，請聯繫 Wu Ching Ting，並用一樓大廳右側的機器取得門禁卡。 34 | ``` 35 | 36 | ## PureScript TW Meetup #11: Introduction to Idris 37 | 38 | * Date: 2017/12/06 39 | * [Resgistration Page](https://www.facebook.com/events/373727023088041/) 40 | * Slides 41 | * [Video](https://www.youtube.com/watch?v=7ARWzXk4lbg) 42 | 43 | ```md 44 | PureScript 讀書會番外篇，由 Ray Shih 分享 Idris。 45 | 46 | Idris 介紹：「Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type.」 47 | 48 | 必備知識：PureScript 或 Haskell，至少要熟悉 ADT。 49 | ``` 50 | 51 | ## PureScript TW Meetup #10: PureScript By Example CH1 - CH4 52 | 53 | * Date: 2017/11/24 54 | * [Resgistration Page](https://www.facebook.com/events/1928917914094853/) 55 | * [Slides](https://speakerdeck.com/cybai/purescript-meetup-number-10) 56 | * [Video](https://www.youtube.com/watch?v=gzzBqZ08iMk) 57 | 58 | ```md 59 | 這次讀書會預計討論第一章到第四章，歡迎對 functional programming 有興趣的朋友參加。因為是從第一章開始，所以沒有經驗也可以，但建議來之前先讀過書。 60 | 61 | 書的連結：https://github.com/paf31/purescript-book/tree/master/text 62 | 63 | 抵達 Appier （華南銀行大樓）一樓時，請聯繫 Wu Ching Ting，並用一樓大廳右側的機器取得門禁卡。 64 | ``` 65 | 66 | ## PureScript TW Meetup #09: Monadic Adventures 67 | 68 | * Date: 2017/10/20 69 | * [Resgistration Page](https://www.facebook.com/events/175536106331341/) 70 | * Slides 71 | * Video 72 | 73 | ``` 74 | We'll review what is a monad and talk about common monad examples. And hopefully, we can talk about monad transformer 75 | ``` 76 | 77 | ## PureScript TW Meetup #08: Functor, Apply, Applicative and Traversable 78 | 79 | * Date: 2017/10/13 80 | * [Resgistration Page](https://www.facebook.com/events/1965573623715802/) 81 | * Slides 82 | * Video 83 | 84 | ```md 85 | 由 Wu Ching Ting 分享 Functor, Apply, Applicative and Traversable。內容大約是 PureScript by Example CH 7 和 Learn You a Haskell CH 11。 86 | 87 | 抵達華南銀行大樓一樓時，請聯繫 Wu Ching Ting，並用一樓大廳右側的機器取得門禁卡。 88 | ``` 89 | 90 | ## PureScript TW Meetup #07: Partially adopting PS and CH6 Type Classes 91 | 92 | * Date: 2017/09/04 93 | * [Resgistration Page](https://www.facebook.com/events/1952222518353089/) 94 | * Slides 95 | * [Video](https://www.youtube.com/watch?v=rZAS_X-0qV4) 96 | 97 | ```md 98 | 由 Ray Shih 分享 How to partially adopt PureScrip，並且由 Wu Ching 分享 PureScript by Example CH6 - Type Classes 99 | 100 | 抵達 Appier （華南銀行大樓）一樓時，請聯繫 Wu Ching Ting，並用一樓大廳右側的機器取得門禁卡。 101 | ``` 102 | 103 | ## PureScript TW Meetup #06: Lens 104 | 105 | * Date: 2017/08/25 106 | * [Resgistration Page](https://www.facebook.com/events/302604686873003/) 107 | * Slides 108 | * [Video](https://www.youtube.com/watch?v=ZHw3sciGq6s) 109 | 110 | ```md 111 | Ray Shih 將與大家分享 Lens 112 | 113 | 此次為線上小聚，不過沒有地方去或是想找人陪的同學，歡迎來 Appier 辦公室一起參加。如果要來 Appier，事先告知 Wu Ching Ting 就可以了。 114 | ``` 115 | 116 | ## PureScript TW Meetup #05: PureScript by Example CH1 - CH5 讀書會 117 | 118 | * Date: 2017/08/18 119 | * [Resgistration Page](https://www.facebook.com/events/357064568059476/) 120 | * [Slides](https://www.slideshare.net/mnfshih/purescript-tutorial-1) 121 | * [Video](https://www.facebook.com/groups/PureScript.tw/permalink/1820247728286047/) 122 | 123 | ```md 124 | 這次讀書會預計討論第一章到第五章，歡迎對 functional programming 有興趣的朋友參加。因為是從第一章開始，所以沒有經驗也可以，但建議來之前先讀過書。 125 | 126 | 書的連結：https://github.com/paf31/purescript-book/tree/master/text 127 | ``` 128 | 129 | ## PureScript TW Meetup #04: PureScript 第四次讀書會 130 | 131 | * Date: 2017/07/05 132 | * [Resgistration Page](https://www.facebook.com/events/397721377289594/) 133 | * Slides 134 | * [Video](https://www.youtube.com/watch?v=sgmUdKlHAfc) 135 | 136 | ```md 137 | 這次應該會講 Applicative，跟惡名昭彰（畫線）的 Monad 138 | ``` 139 | 140 | ## PureScript.tw 默默會 #02 141 | 142 | * Date: 2017/06/23 143 | * [Resgistration Page](https://www.facebook.com/events/310778459376180/) 144 | * Slides 145 | * Video 146 | 147 | ``` 148 | 反正就默默會 149 | 150 | 雖然是 PureScript ，不過想來聊各種 FP 都行 151 | ``` 152 | 153 | ## PureScript TW Meetup #03: 第三次 PureScript 讀書會：Pux 154 | 155 | * Date: 2017/06/16 156 | * [Resgistration Page](https://www.facebook.com/events/1595521943791406/) 157 | * Slides 158 | * [Video](https://www.facebook.com/events/270554746748919/permalink/284458755358518/) 159 | * [Repo](https://github.com/rayshih/pux-todomvc) 160 | 161 | ```md 162 | 這次來講如使用 Pux 實作 TodoMVC 163 | 應該會以 Live demo 為主 164 | ``` 165 | 166 | ## PureScript.tw 默默會 #01 167 | 168 | * Date: 2017/05/24 169 | * [Resgistration Page](https://www.facebook.com/events/242159469597851/) 170 | * Slides 171 | * Video 172 | 173 | ## PureScript TW Meetup #02: 第二次 PureScript 讀書會（範圍：Ch6) 174 | 175 | * Date: 2017/04/28 176 | * [Resgistration Page](https://www.facebook.com/events/1909383499340262/) 177 | * [Slides](https://speakerdeck.com/rayshih/purescript-dot-tw-meetup-2-tutorial-2) 178 | * [Video](https://www.youtube.com/watch?v=uoWZi5W6PqU) 179 | 180 | ```md 181 | PureScript 是一種 pure functional programming language，卻也是一種專為 web (JS environment）開發的程式語言。 182 | 183 | 最近剛把這本書讀完，覺得頗受啟發。下一步："Learning by teaching" 184 | 除了讓自己能更熟悉 PureScript 以外，還可以順便推廣、尋找同好。 185 | 186 | 延續第一次讀書會，這次會從 PureScript by Example 第六章開始講沒參加過的也可以先看上次讀書會的錄影 187 | 188 | https://www.youtube.com/watch?v=g_-w2B9eBX8 189 | 190 | 當然不看直接來也沒問題，有問題就盡量問。讓越多人能體會 FP 的美好才是我們的目標 XD 191 | ``` 192 | 193 | ## PureScript TW Meetup #01: PureScript 第一次讀書會（範圍：～ Ch5) 194 | 195 | * Date: 2017/03/24 196 | * Resgistration Page 197 | * [Slides](https://www.slideshare.net/mnfshih/purescript-tutorial-1) 198 | * [Video](https://www.youtube.com/watch?v=g_-w2B9eBX8) 199 | 200 | ```md 201 | Cover Chapter 1 to 5 of book PureScript by Example 202 | ``` 203 | --------------------------------------------------------------------------------