五十音圖是日語學習的第一步习劫，五十音圖掌握得是否扎實召边，直接決定了入門階段的學習效率與學習體驗咽扇。 很多標日小伙伴表示對五十音圖學習很困惑：這么多假名荷科，這么多表佛致，應當怎么入手才能在...
發(fā)簡信
IP屬地：北京
-
高效學習五十音圖的12個要點和4個思路
-
（譯）Haskell中的WHNF
在學習《real world Haskell》時對NF珠闰、WHNF的概念有些困惑讶凉，于是去stackoverflow查了查染乌。本文來源于stackoverflow上的一個提問，大意...
-
猿學－Haskell學習-monad
什么是Monad Haskell是一門純函數(shù)式的語言懂讯，純函數(shù)的優(yōu)點是安全可靠荷憋。函數(shù)輸出完全取決于輸入，不存在任何隱式依賴褐望，它的存在如同數(shù)學公式般完美無缺勒庄。可是純函數(shù)因為隔絕了...
-
群體進化分析--基因流及群體歷史分析——我愿稱之為史上最全基因流（也稱基因遷移）是指從一個物種的一個種群向另一個種群引入新的遺傳物質(zhì)瘫里，從而改變?nèi)后w“基因庫”的組成实蔽。通過基因交流向群體中引入新的等位基因，是遺傳變異一個非常重要的來源谨读，...
-
您好局装，currying: λx y.xy = λx.(λy.xy)中，緊挨著的兩個符號xy是表示x應用于y嗎?
λ演算(Lambda Calculus)入門基礎（一）：定義與歸約
此系列文章是我學習lambda演算過程的總結與復習劳殖，著重于探討“為什么(Why)”與“怎么做(How)”铐尚，也希望能對看到它的人學習了解這個形式系統(tǒng)有些微幫助。由于之前看了不少...
-
λ演算(Lambda Calculus)入門基礎（一）：定義與歸約
此系列文章是我學習lambda演算過程的總結與復習哆姻，著重于探討“為什么(Why)”與“怎么做(How)”宣增，也希望能對看到它的人學習了解這個形式系統(tǒng)有些微幫助。由于之前看了不少...
-
λ演算(Lambda Calculus)入門基礎（二）：丘奇編碼(Church Encoding)
上一篇我們已經(jīng)建好了lambda演算大廈的地基填具，接下來需要了解的就是如何在此基礎上構造用于計算的一些通用工具了，比如自然數(shù)匆骗、布爾值劳景、基本運算和布爾運算等等。 丘奇數(shù)(Chur...
-
-
medium翻譯：Haskell In Production
這篇文章講述我們?yōu)槭裁催x擇用Haskell構建the Hasura platform盟广，以及為什么你也應該嘗試將Haskell用于產(chǎn)品 (TL;DR) 我們構建了以 Hasur...
-
【函數(shù)式】Monads模式初探——Endofunctor自函子 自函子（Endofunctor）是一個將范疇映射到自身的函子（A functor that maps a category to itself）筋量。函子是將一個范疇轉換...
-
Idris 語言入門教程簡介 Emacs集成 Idris 開發(fā)環(huán)境 Idris repl 使用說明 Idris 代數(shù)類型定義 1. Emacs 安裝 idris-mode emacs 打開任何以*....
-
44.伴隨函子的例子：自由幺半群a.考慮幺半群和幺半群同態(tài)構成的范疇烹吵。 基礎集函子（實際上就是遺忘函子）有左伴隨。 作用效果是桨武，對每一個給定的集合X肋拔，F(xiàn)X就是X上的自由幺半群（將X中的元素作為字母，生成的有...
-
Write Yourself a Scheme in 48 Hours
原文。https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours 概論 大部分網(wǎng)路上的Haskell教...
-
haskell與范疇論總結
這篇文章只會大概解釋一下性誉，具體內(nèi)容需要參考文中提到的連接窿吩。Haskell語言學習可以看這個教程，這篇文章不會介紹Haskell語言的具體細節(jié)错览。 范疇論的介紹纫雁，這篇東西到fun...
-
16.滿態(tài)的例子a.集合范疇中，滿態(tài)就是滿射倾哺。證明： ***滿射推出滿態(tài) 第一個等號是因為f是滿射轧邪，第二個等號是滿態(tài)的假設條件，第三個等號是顯然的 也就是f為滿射時悼粮， ***滿態(tài)推出滿射 如...
-
