Haskell代写代考

Contents This is a nice title! My name!! January 28, 2021 1 Introduction 1 2 LaTeX Basics! 1 3 Proof Styles! 2 3.1 Example1(Recommended) ………………………………. 2 3.2 Example2(Alsorecommended)…………………………….. 2 3.3 Example3……………………………………….. 3 3.4 Example4……………………………………….. 3 3.5 Example5……………………………………….. 4 4 Induction 4 4.1 WeakvsStrong? ……………………………………. 4 5 Proofs 4 5.1 Doublingall! ……………………………………… 4 5.2 Reversing!……………………………………….. 6 […]

— Example code for Jan12, to get people reacquainted with Haskell module Jan12 where — let’s play with lists a little — recall — data [] a = [] | a : [a] map’ :: (a -> b) -> [a] -> [b] map’ f [] = [] map’ f (x : xs) = f x

\begin{code} module Jan14 where \end{code} Learning objectives (planned): \begin{itemize} \item fold (generalize in later lectures) \end{itemize} Folding right and left. Context: a list, a binary function ‘f’ and a starting value ‘s’. \lstinline|l = [a1, a2, a3, …, an]| \begin{enumerate} \item fold-right: a1 `f` (a2 `f` (a3 `f` …. (an `f` s))) \item fold-left: ((((((s

\begin{code} {-# OPTIONS_GHC -Wall #-} {-# LANGUAGE TemplateHaskell #-} module Mar30 where import Language.Haskell.TH import Mar18 \end{code} Learning objectives: \begin{itemize} \item meta-programming, Template Haskell (TH) \item adding TH instances to Symantics \end{itemize} \begin{verbatim} $ ghci -XTemplateHaskell GHCi, version 8.6.5: http://www.haskell.org/ghc/ 😕 for help Prelude> :m + Language.Haskell.TH Prelude Language.Haskell.TH> runQ [| \x -> x ||

# Tutorial 08 This tutorial will go over a brief overfiew of the “initial” and “final” (typed tagless final) language encodings, and create a “pretty printer” of sorts using the `pretty` library. ## `pretty` ### What is `pretty`? `pretty` is a “pretty-printing” library that allows you to format your text easily in Haskell! From their

\begin{code} {-# OPTIONS_GHC -Wall #-} {-# LANGUAGE TemplateHaskell #-} module Mar29 where \end{code} do { x y >>= (\x -> z) Learning objectives: \begin{itemize} \item meta-programming, Template Haskell (TH) \end{itemize} Good TH tutorial: https://markkarpov.com/tutorial/th.html Basic idea: Quoting and Splicing consider the expression “1 + 2”. Quoted form: [| 1 + 2 |] — this is