updates

20200711113241-haskell.org

@@ -3,8 +3,27 @@
 :END:
 #+title: Haskell
 
-A pure [[id:68cedf67-0f59-4a06-9344-77d946129653][functional programming]] language.
+- Family :: ML
+- File extensions :: .hs
 
+A pure [[id:68cedf67-0f59-4a06-9344-77d946129653][functional programming]] language with [[id:1882370a-e4df-42a3-ab5a-32b650b754a6][Static Typing]] and full [[id:d6ed0927-3fbd-46b1-93db-503bd7177148][Type
+Inference]].
+
+* Installation
+** GHCup
+https://www.haskell.org/ghcup/
+
+An installation tool for the Glasgow Haskell Compiler, the stack and cabal build
+tools, the Haskell Language Server, and more.
+
+: curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
+* Build tools
+- [[https://www.haskell.org/cabal/][cabal]] :: A system for buildng and packaging Haskell libraries and programs.
+- [[https://www.haskellstack.org][stack]] :: Build projects while managing dependencies.
+* REPLs
+- ghci :: The Glasgow Haskell Compiler interactive environment.
+* Language Servers
+- [[https://github.com/haskell/haskell-language-server][hls]] :: The Haskell Language Server
 * Resources
 ** [[id:7c8bd8bb-3fe8-4c50-8a43-b8a48e482ef5][Haskell Programming from first principles]]
 ** [[https://www.seas.upenn.edu/~cis194/fall16/][CIS 194: Introduction to Haskell (Fall 2016)]]

20220311205850-type_inference.org

@@ -0,0 +1,4 @@
+:PROPERTIES:
+:ID:       d6ed0927-3fbd-46b1-93db-503bd7177148
+:END:
+#+title: Type Inference

WillKurt2718.org

@@ -0,0 +1,16 @@
+:PROPERTIES:
+:ID:       6ce50155-471d-490a-baf0-865b75547611
+:ROAM_REFS: @WillKurt2718
+:END:
+#+title: Notes on Will Kurt, Get Programming with Haskell
+
+#+begin_quote
+John Backus, who led the team that created Fortran, asked in his Turing Award
+lecture, “Can programming be liberated from the von Neumann style?”
+
+This question leads to the second way to understand programming, which is the
+subject of the first unit in this book. [[id:68cedf67-0f59-4a06-9344-77d946129653][Functional programming]] attempts to
+liberate programming from the von Neumann style.
+#+end_quote
+
+#+print_bibliography: