Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of...
-
date post
22-Dec-2015 -
Category
Documents
-
view
221 -
download
2
Transcript of Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of...
![Page 1: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/1.jpg)
Refactoring Functional Programs
Huiqing LiClaus Reinke
Simon Thompson
Computing Lab, University of Kent
![Page 2: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/2.jpg)
SBLP 2003 2
Refactoring
Refactoring means changing the design of program …
… without changing its behaviour.
Refactoring comes in many forms
• micro refactoring as a part of program development• major refactoring as a preliminary to revision• as a part of debugging, …
As programmers, we do all the time.
![Page 3: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/3.jpg)
SBLP 2003 3
Refactoring functional programs
• What is possible?
• What is different about functional programs?
• Building a usable tool vs. …
• … building a tool that will be used.
• Reflection on language design.
• Experience, demonstration, next steps.
![Page 4: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/4.jpg)
SBLP 2003 4
Refactoring
Paper or presentationmoving sections about; amalgamate sections; move inline code to a figure; animation; …
Proof introduce lemma; remove, amalgamate hypotheses, …
Programthe topic of the lecture
![Page 5: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/5.jpg)
SBLP 2003 5
Overview
Example refactorings
Refactoring functional programs
Generalities
Tooling: demo, rationale, design.
Catalogue of refactorings
Larger-scale examples … and a case study
Conclusions
![Page 6: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/6.jpg)
SBLP 2003 6
Rename
f x y = …
Name may be too specific, if the function is a candidate for reuse.
findMaxVolume x y = …
Make the specific purpose of the function clearer.
Needs scope information: just change this f and not all fs (e.g. local definitions or variables).
![Page 7: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/7.jpg)
SBLP 2003 7
Lift / demote
f x y = … h …
where
h = …
Hide a function which is clearly subsidiary to f; clear up the namespace.
f x y = … (h y) …
h y = …
Makes h accessible to the other functions in the module (and beyond?).
Needs free variable information: which of the parameters of f is used in the definition of h?
Need h not to be defined at the top level, … , DMR.
![Page 8: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/8.jpg)
SBLP 2003 8
Introduce and use a type defn
f :: Int -> Char
g :: Int -> Int
…
Reuse supported (a synonym is transparent, but can be misleading).
type Length = Int
f :: Length -> Char
g :: Int -> Length
Clearer specification of the purpose of f,g. (Morally) can only apply to lengths.
Avoid name clashes
Problem with instance declarations (Haskell specific).
![Page 9: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/9.jpg)
SBLP 2003 9
Introduce and use branded type
f :: Int -> Char
g :: Int -> Int
…
Reuse supported, but lose the clarity of specification.
data Length
= Length {length::Int}
f :: Length -> Char
g :: Int -> Length
Can only apply to lengths.
Needs function call information: where are (these definitions of) f and g called?• Change the calls of f … and the call sites of g.
Choice of data and newtype (Haskell specific).
![Page 10: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/10.jpg)
SBLP 2003 10
Lessons from the first examples
Changes are not limited to a single point or even a single module: diffuse and bureaucratic …
… unlike traditional program transformation.
Many refactorings bidirectional …
… there is no single correct design.
![Page 11: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/11.jpg)
SBLP 2003 11
Refactoring functional programs
Semantics: can articulate preconditions and … … verify transformations.
Absence of side effects makes big changes predictable and verifiable … … unlike OO.
XP is second nature to a functional programmer.
Language support: expressive type system, abstraction mechanisms, HOFs, …
![Page 12: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/12.jpg)
SBLP 2003 12
Composing refactorings
Interesting refactorings can be built from simple components …
… each of which looks trivial in its own right.
A set of examples …
… which we have implemented.
![Page 13: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/13.jpg)
SBLP 2003 13
Example program
showAll :: Show a => [a] -> String
showAll = table . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: [String] -> String
table = concat . format
![Page 14: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/14.jpg)
SBLP 2003 14
Examples
Lift definitions from local to global
Demote a definition before lifting its container
Lift a definition with dependencies
![Page 15: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/15.jpg)
SBLP 2003 15
Example 1
showAll :: Show a => [a] -> String
showAll = table . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: [String] -> String
table = concat . format
![Page 16: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/16.jpg)
SBLP 2003 16
Example 1 lift
showAll :: Show a => [a] -> String
showAll = table . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: [String] -> String
table = concat . format
![Page 17: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/17.jpg)
SBLP 2003 17
Example 1
showAll :: Show a => [a] -> String
showAll = table . map show
where
table :: [String] -> String
table = concat . format
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 18: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/18.jpg)
SBLP 2003 18
Example 1 lift
showAll :: Show a => [a] -> String
showAll = table . map show
where
table :: [String] -> String
table = concat . format
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 19: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/19.jpg)
SBLP 2003 19
Example 1
showAll :: Show a => [a] -> String
showAll = table . map show
table :: [String] -> String
table = concat . format
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 20: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/20.jpg)
SBLP 2003 20
Example 2
showAll :: Show a => [a] -> String
showAll = table . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: [String] -> String
table = concat . format
![Page 21: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/21.jpg)
SBLP 2003 21
Example 2 demote
showAll :: Show a => [a] -> String
showAll = table . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: [String] -> String
table = concat . format
![Page 22: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/22.jpg)
SBLP 2003 22
Example 2
showAll :: Show a => [a] -> String
showAll = table . map show
where
table :: [String] -> String
table = concat . format
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 23: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/23.jpg)
SBLP 2003 23
Example 2 lift
showAll :: Show a => [a] -> String
showAll = table . map show
where
table :: [String] -> String
table = concat . format
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 24: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/24.jpg)
SBLP 2003 24
Example 2
showAll :: Show a => [a] -> String
showAll = table . map show
table :: [String] -> String
table = concat . format
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 25: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/25.jpg)
SBLP 2003 25
Example 2 lift
showAll :: Show a => [a] -> String
showAll = table . map show
table :: [String] -> String
table = concat . format
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 26: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/26.jpg)
SBLP 2003 26
Example 2
showAll :: Show a => [a] -> String
showAll = table . map show
table :: [String] -> String
table = concat . format
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 27: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/27.jpg)
SBLP 2003 27
Example 3
showAll :: Show a => [a] -> String
showAll = table . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: [String] -> String
table = concat . format
![Page 28: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/28.jpg)
SBLP 2003 28
Example 3 lift with dependencies
showAll :: Show a => [a] -> String
showAll = table . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: [String] -> String
table = concat . format
![Page 29: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/29.jpg)
SBLP 2003 29
Example 3
showAll :: Show a => [a] -> String
showAll = table format . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: ([String] -> [String]) -> [String] -> String
table format = concat . format
![Page 30: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/30.jpg)
SBLP 2003 30
Example 3 rename
showAll :: Show a => [a] -> String
showAll = table format . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: ([String] -> [String]) -> [String] -> String
table format = concat . format
![Page 31: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/31.jpg)
SBLP 2003 31
Example 3
showAll :: Show a => [a] -> String
showAll = table format . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: ([String] -> [String]) -> [String] -> String
table fmt = concat . fmt
![Page 32: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/32.jpg)
SBLP 2003 32
Example 3 lift
showAll :: Show a => [a] -> String
showAll = table format . map show
where
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: ([String] -> [String]) -> [String] -> String
table fmt = concat . fmt
![Page 33: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/33.jpg)
SBLP 2003 33
Example 3
showAll :: Show a => [a] -> String
showAll = table format . map show
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: ([String] -> [String]) -> [String] -> String
table fmt = concat . fmt
![Page 34: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/34.jpg)
SBLP 2003 34
Example 3 unfold/inline
showAll :: Show a => [a] -> String
showAll = table format . map show
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: ([String] -> [String]) -> [String] -> String
table fmt = concat . fmt
![Page 35: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/35.jpg)
SBLP 2003 35
Example 3
showAll :: Show a => [a] -> String
showAll = (concat . format) . map show
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: ([String] -> [String]) -> [String] -> String
table fmt = concat . fmt
![Page 36: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/36.jpg)
SBLP 2003 36
Example 3 delete
showAll :: Show a => [a] -> String
showAll = (concat . format) . map show
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: ([String] -> [String]) -> [String] -> String
table fmt = concat . fmt
![Page 37: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/37.jpg)
SBLP 2003 37
Example 3
showAll :: Show a => [a] -> String
showAll = (concat . format) . map show
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
![Page 38: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/38.jpg)
SBLP 2003 38
Example 3 new definition
showAll :: Show a => [a] -> String
showAll = (concat . format) . map show
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
tableName?
![Page 39: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/39.jpg)
SBLP 2003 39
Example 3
showAll :: Show a => [a] -> String
showAll = table . map show
format :: [String] -> [String]
format [] = []
format [x] = [x]
format (x:xs) = (x ++ "\n") : format xs
table :: [String] -> String
table = concat . format
![Page 40: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/40.jpg)
SBLP 2003 40
Beyond the text editor
All the refactorings can – in principle – be implemented using a text editor, but this is
• tedious,• error-prone,• difficult to reverse, …
With machine support refactoring becomes
• low-cost: easy to do and to undo,• reliable,• a full part of the programmer's repertoire.
![Page 41: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/41.jpg)
SBLP 2003 41
Information needed
Syntax: replace the function called sq, not the variable sq …… parse tree.
Static semantics: replace this function sq, not all the sq functions …… scope information.
Module information: what is the traffic between this module and its clients …… call graph.
Type information: replace this identifier when it is used at this type …… type annotations.
![Page 42: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/42.jpg)
SBLP 2003 42
Machine support invaluable
Current practice: editor + type checker (+ tests).
Our project: automated support for a repertoire of refactorings …
… integrated into the existing development process: tools such as vim and emacs.
Demonstration of the tool, hosted in vim.
![Page 43: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/43.jpg)
SBLP 2003 43
Proof of concept …
To show proof of concept it is enough to:
• build a stand-alone tool,
• work with a subset of the language,
• ‘pretty print’ the refactored source code in a standard format.
![Page 44: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/44.jpg)
SBLP 2003 44
… or a useful tool?
To make a tool that will be used we must:
• integrate with existing program development tools: the program editors emacs and vim.
• work with the complete Haskell 98 language,
• preserve the formatting and comments in the refactored source code.
![Page 45: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/45.jpg)
SBLP 2003 45
Consequences
To achieve this we chose to:
• build a tool that can interoperate with emacs, vim, … yet act separately.
• leverage existing libraries for processing Haskell 98, for tree transformation, yet …
… modify them as little as possible.
• be as portable as possible, in the Haskell space.
![Page 46: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/46.jpg)
SBLP 2003 46
The Haskell background
Libraries• parser: many• type checker: few• tree transformations: few
Difficulties• Haskell98 vs. Haskell extensions.• Libraries: proof of concept vs. distributable.• Source code regeneration.• Real project
![Page 47: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/47.jpg)
SBLP 2003 47
First steps … lifting and friends
Use the Haddock parser … full Haskell given in 500 lines of data type definitions.
Work by hand over the Haskell syntax: 27 cases for expressions …
Code for finding free variables, for instance …
![Page 48: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/48.jpg)
SBLP 2003 48
Finding free variables … 100 lines
instance FreeVbls HsExp where
freeVbls (HsVar v) = [v]
freeVbls (HsApp f e)
= freeVbls f ++ freeVbls e
freeVbls (HsLambda ps e)
= freeVbls e \\ concatMap paramNames ps
freeVbls (HsCase exp cases)
= freeVbls exp ++ concatMap freeVbls cases
freeVbls (HsTuple _ es)
= concatMap freeVbls es
… etc.
![Page 49: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/49.jpg)
SBLP 2003 49
This approach
Boiler plate code …
… 1000 lines for 100 lines of significant code.
Error prone: significant code lost in the noise.
Want to generate the boiler plate and the tree traversals …
… DriFT: Winstanley, Wallace… Strafunski: Lämmel and Visser
![Page 50: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/50.jpg)
SBLP 2003 50
Strafunski
Strafunski allows a user to write general (read generic) tree traversing programs …
… with ad hoc behaviour at particular points.
Traverse through the tree accumulating free variables from component parts, except in the case of lambda abstraction, local scopes, …
Strafunski allows us to work within Haskell … other options are under development.
![Page 51: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/51.jpg)
SBLP 2003 51
Production tool (version 0)
Programaticaparser and
type checker
Refactorusing a
Strafunskiengine
Pretty printfrom the
augmented Programaticasyntax tree
![Page 52: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/52.jpg)
SBLP 2003 52
Production tool (version 1)
Programaticaparser and
type checker
Refactorusing a
Strafunskiengine
Pretty printfrom the
augmented Programaticasyntax tree
Pass lexical information toupdate thesyntax treeand so avoid reparsing
![Page 53: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/53.jpg)
SBLP 2003 53
Experience so far
We can do it … but …
• efficiency• formalising static semantics• change management (CVS etc.)• user interface• interface to other tools
• problems of getting code to work• different systems working together • clash of instance: global problem• Haskell in the large (e.g. 20 minute link time)
![Page 54: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/54.jpg)
SBLP 2003 54
Catalogue of refactorings
• name (a phrase)• label (a word)• description• left-hand code• right-hand code• comments
• l to r• r to l• general
• primitive / composed• cross-references
• internal• external (Fowler)
• category (just one) or … … classifiers (keywords)• language
• specific (Haskell, ML etc.)• feature (lazy etc.)
• conditions• left / right• analysis required (e.g. names, types, semantic info.)• which equivalence?
• version info• date added• revision number
![Page 55: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/55.jpg)
SBLP 2003 55
Preconditions
![Page 56: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/56.jpg)
SBLP 2003 56
Preconditions: renaming
The existing binding structure must not be affected.
No binding for the new name may exist in the same binding group.
No binding for the new name may intervene between the binding of the old name and any of its uses …
… as the renamed identifier would be captured by the renaming.
Conversely, the binding to be renamed must not intervene between bindings and uses of the new name.
![Page 57: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/57.jpg)
SBLP 2003 57
Preconditions: lifting
•Widening the scope of the binding must not capture independent uses of the name in the outer scope.
• There should be no existing definition of the name in the outer binding group (irrespective of whether or not it is used).
• The binding to be promoted must not make use of bindings in the inner scope. Instead lambda lift over these; extra conds apply:
• The binding must be a simple binding of a function or constant, not a pattern.
•Any argument must not be used polymorphically.
![Page 58: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/58.jpg)
SBLP 2003 58
Larger-scale examples
More complex examples in the functional domain; often link with data types.
Dawning realisation that can some refactorings are pretty powerful.
Bidirectional … no right answer.
![Page 59: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/59.jpg)
SBLP 2003 59
Algebraic or abstract type?
data Tr a
= Leaf a |
Node a (Tr a) (Tr a)
Tr
Leaf
Node
flatten :: Tr a -> [a]
flatten (Leaf x) = [x]
flatten (Node s t)
= flatten s ++
flatten t
![Page 60: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/60.jpg)
SBLP 2003 60
Algebraic or abstract type?
data Tr a
= Leaf a |
Node a (Tr a) (Tr
a)
isLeaf = …
isNode = …
…
Tr
isLeaf
isNode
leaf
left
right
mkLeaf
mkNode
flatten :: Tr a -> [a]
flatten t
| isleaf t = [leaf t]
| isNode t
= flatten (left t)
++ flatten (right t)
![Page 61: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/61.jpg)
SBLP 2003 61
Algebraic or abstract type?
Pattern matching syntax is more direct …
… but can achieve a considerable amount with field names.
Other reasons? Simplicity (due to other refactoring steps?).
Allows changes in the implementation type without affecting the client: e.g. might memoise
Problematic with a primitive type as carrier.
Allows an invariant to be preserved.
![Page 62: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/62.jpg)
SBLP 2003 62
Outside or inside?
data Tr a
= Leaf a |
Node a (Tr a) (Tr
a)
isLeaf = …
…
Tr
isLeaf
isNode
leaf
left
right
mkLeaf
mkNode
flatten :: Tr a -> [a]
flatten t
| isleaf t = [leaf t]
| isNode t
= flatten (left t)
++ flatten (right t)
![Page 63: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/63.jpg)
SBLP 2003 63
Outside or inside?
data Tr a
= Leaf a |
Node a (Tr a) (Tr
a)
isLeaf = …
…
flatten = …
Tr
isLeaf
isNode
leaf
left
right
mkLeaf
mkNode
flatten
![Page 64: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/64.jpg)
SBLP 2003 64
Outside or inside?
If inside and the type is reimplemented, need to reimplement everything in the signature, including flatten.
The more outside the better, therefore.
If inside can modify the implementation to memoise values of flatten, or to give a better implementation using the concrete type.
Layered types possible: put the utilities in a privileged zone.
![Page 65: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/65.jpg)
SBLP 2003 65
Replace function by constructor
data Expr = Star Expr |
Then Expr Expr | …
plus e = Then e (Star e)
plus is just syntactic sugar; reduce the number of cases in definitions.
[Character range is a better example.]
data Expr = Star Expr |
Plus Expr |
Then Expr Expr | …
Can treat Plus differently, e.g. literals (Plus e) = literals e
but require each function over Expr to have a Plus clause.
![Page 66: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/66.jpg)
SBLP 2003 66
Other examples ...
Modify the return type of a function from T to Maybe T, Either T T' or [T].
Would be nice to have field names in Prelude types.
Add an argument; (un)group arguments; reorder arguments.
Move to monadic presentation: important case study.
Flat or layered datatypes (Expr: add BinOp type).
Various possibilities for error handling/exceptions.
… Tableau case study.
![Page 67: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/67.jpg)
SBLP 2003 67
Change of user interface
Refactor the existing text-based application …
… so that it can have textual or graphical user interface.
![Page 68: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/68.jpg)
SBLP 2003 68
Changing functionality?
The aim is not to change functionality …
… or at least not required functionality.
What level of behaviour is visible?
May change incidental properties …
… cf legacy systems: preserve their essential properties but not their accidental ones.
![Page 69: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/69.jpg)
SBLP 2003 69
Other uses of refactoring
Understand someone else’s code …
… make it your own.
Learning a language: learn how you could modify the programs that you have written …
… appreciate the design space.
![Page 70: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/70.jpg)
SBLP 2003 70
Conclusions
Refactoring + functional programming: good fit.
Stresses the type system: generic traversal …
Practical tool … not ‘yet another type tweak’.
Leverage from available libraries … with work.
We are eager to use the tool in building itself!
![Page 71: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/71.jpg)
SBLP 2003 71
Understanding: semantic tableaux
Take a working semantic tableau system written by an anonymous 2nd year student …
… refactor to understand its behaviour.
Nine stages of unequal size.
Reflections afterwards.
![Page 72: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/72.jpg)
SBLP 2003 72
An example tableau
((AC)((AB)C))
((AB)C)(AC)
CA
(AB)C
A B Make BTrueMake A and C
False
![Page 73: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/73.jpg)
SBLP 2003 73
v1: Name types
Built-in types
[Prop]
[[Prop]]
used for branches and tableaux respectively.
Modify by adding
type Branch = [Prop]
type Tableau = [Branch]
Change required throughout the program.
Simple edit: but be aware of the order of substitutions: avoid
type Branch = Branch
![Page 74: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/74.jpg)
SBLP 2003 74
v2: Rename functions
Existing namestableaux
removeBranch
remove
becometableauMain
removeDuplicateBranches
removeBranchDuplicates
and add comments clarifying the (intended) behaviour.
Add test datum.
Discovered some edits undone in stage 1.
Use of the type checker to catch errors.
test will be useful later?
![Page 75: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/75.jpg)
SBLP 2003 75
v3: Literate normal script
Change from literate form:
Comment …
> tableauMain tab
> = ...
to
-- Comment …
tableauMain tab
= ...
Editing easier: implicit assumption was that it was a normal script.
Could make the switch completely automatic?
![Page 76: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/76.jpg)
SBLP 2003 76
v4: Modify function definitions
From explicit recursion:displayBranch
:: [Prop] -> String
displayBranch [] = []
displayBranch (x:xs)
= (show x) ++ "\n" ++
displayBranch xs
todisplayBranch
:: Branch -> String
displayBranch
= concat . map (++"\n") . map show
More abstract … move somewhat away from the list representation to operations such as map and concat which could appear in the interface to any collection type.
First time round added incorrect (but type correct) redefinition … only spotted at next stage.
Version control: undo, redo, merge, … ?
![Page 77: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/77.jpg)
SBLP 2003 77
v5: Algorithms and types (1)
removeBranchDup :: Branch -> Branch
removeBranchDup [] = []
removeBranchDup (x:xs)
| x == findProp x xs = [] ++ removeBranchDup xs
| otherwise = [x] ++ removeBranchDup xs
findProp :: Prop -> Branch -> Prop
findProp z [] = FALSE
findProp z (x:xs)
| z == x = x
| otherwise = findProp z xs
![Page 78: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/78.jpg)
SBLP 2003 78
v5: Algorithms and types (2)
removeBranchDup :: Branch -> Branch
removeBranchDup [] = []
removeBranchDup (x:xs)
| findProp x xs = [] ++ removeBranchDup xs
| otherwise = [x] ++ removeBranchDup xs
findProp :: Prop -> Branch -> Bool
findProp z [] = False
findProp z (x:xs)
| z == x = True
| otherwise = findProp z xs
![Page 79: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/79.jpg)
SBLP 2003 79
v5: Algorithms and types (3)
removeBranchDup :: Branch -> Branch
removeBranchDup = nub
findProp :: Prop -> Branch -> Bool
findProp = elem
![Page 80: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/80.jpg)
SBLP 2003 80
v5: Algorithms and types (4)
removeBranchDup :: Branch -> Branch
removeBranchDup = nub
Fails the test! Two duplicate branches output, with different ordering of elements.
The algorithm used is the 'other' nub algorithm, nubVar:
nub [1,2,0,2,1] = [1,2,0]
nubVar [1,2,0,2,1] = [0,2,1]
The code is dependent on using lists in a particular order to represent sets.
![Page 81: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/81.jpg)
SBLP 2003 81
v6: Library function to module
Add the definition:
nubVar = …
to the module
ListAux.hs
and replace the definition by
import ListAux
Editing easier: implicit assumption was that it was a normal script.
Could make the switch completely automatic?
![Page 82: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/82.jpg)
SBLP 2003 82
v7: Housekeeping
Remanings: including foo and bar and contra (becomes notContra).
An instance of filter,looseEmptyLists
is defined using filter, and subsequently inlined.
Put auxiliary function into a where clause.
Generally cleans up the script for the next onslaught.
![Page 83: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/83.jpg)
SBLP 2003 83
v8: Algorithm (1)
splitNotNot :: Branch -> Tableau
splitNotNot ps = combine (removeNotNot ps) (solveNotNot ps)
removeNotNot :: Branch -> Branch
removeNotNot [] = []
removeNotNot ((NOT (NOT _)):ps) = ps
removeNotNot (p:ps) = p : removeNotNot ps
solveNotNot :: Branch -> Tableau
solveNotNot [] = [[]]
solveNotNot ((NOT (NOT p)):_) = [[p]]
solveNotNot (_:ps) = solveNotNot ps
![Page 84: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/84.jpg)
SBLP 2003 84
v8: Algorithm (2)
splitXXX removeXXX solveXXX
are present for each of nine rules.
The algorithm applies rules in a prescribed order, using an integer value to pass information between functions.
Aim: generic versions of split remove solve
Have to change order of rule application …… which has a further effect on duplicates.
Add map sort to top level pipeline prior to duplicate removal.
![Page 85: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/85.jpg)
SBLP 2003 85
v9: Replace lists by sets.
Wholesale replacement of lists by a Set library.
map mapSet
foldr foldSet (careful!)
filter filterSet
The library exposes the representation: pick, flatten. Use with discretion … further refactoring possible.
Library needed to be augmented with
primRecSet :: (a -> Set a -> b -> b) -> b -> Set a -> b
![Page 86: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/86.jpg)
SBLP 2003 86
v9: Replace lists by sets (2)
Drastic simplification: no need for explicit worries about … ordering and its effect on equality, … (removal of) duplicates.
Difficult to test whilst in intermediate stages: the change in a type is all or nothing …… work with dummy definitions and the type checker.
Further opportunities:… why choose one rule from a set when could apply to all elements at once? Gets away from picking on one value (and breaking the set interface).
![Page 87: Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent.](https://reader036.fdocuments.us/reader036/viewer/2022062407/56649d805503460f94a64323/html5/thumbnails/87.jpg)
SBLP 2003 87
Conclusions of the case study
Heterogeneous process: some small, some large.
Are all these stages strictly refactorings: some semantic changes always necessary too?
Importance of type checking for hand refactoring … … and testing when any semantic changes.
Undo, redo, reordering the refactorings … CVS.
In this case, directional … not always the case.