Title: talk in taiwan, 27/8/2001 Author: Limsoon Wong Last modified by: KRDL Created Date: 5/9/1998 10:45:39 PM Document presentation format: On-screen Show
'It's all in the code, stupid' Functional programs embody their design in their code. ... Identifying state machines implicit in sets of test cases. ...
LIL 2006. 6. Refactoring. Refactoring means changing the design or structure of a program ... LIL 2006. 21. Haskell 98. Standard, lazy, strongly typed, ...
... Ridge Digital Labs. Singapore. From Informatics. to Bioinformatics ... What are the Benefits of Bioinformatics? To the patient: Better drug, better treatment ...
fac :: Int - Int. fac 0 = 1. fac n | n 0 = n * fac(n-1) 11/7/09. FP ... fac m = tfac m b -- renaming m to b or b to m causes name capture. where. tfac o k = k ...
From Informatics to Bioinformatics Limsoon Wong Laboratories for Information Technology Singapore What is Bioinformatics? Themes of Bioinformatics Benefits of ...
MySQL. Distel. Emacs. ODBC (?) Code , AST. Storing the code in database ... call the MySQL database directly from the Erlang node (a mysql module was ...
Wrangler: the Erlang refactorer. Model checking of Erlang programs. Testing of Erlang programs. ... The Erlang Refactorer, Wrangler, is implemented in Erlang. ...
... has been put to the program analysis part for the implementation of Wrangler. ... Refactoring Erlang programs involves more complex static semantics analysis. ...
Using Emerging Patterns to Analyze Gene Expression Data Jinyan Li BioComputing Group Knowledge & Discovery Program Laboratories for Information Technology
For each gene on a given cytogenetic band, find its non-human homologs. ... organism: 'Homo sapiens', #taxon: 9606, #lineage: ['Eukaryota', 'Metazoa' ...
Maintain flexibility as the system evolves. Refactoring. Refactoring means changing the design or ... in a particular idiom. APIs ... programmer / user ...
HaRe The Haskell Refactorer -- A prototype tool for refactoring Haskell programs ... Refactorings in HaRe: Move Definition. e.g. demote/promote the ...
micro refactoring as a part of program development. major refactoring as a ... Clearer specification of the purpose of f,g. (Morally) can only apply to lengths. ...
Slice function for a component of its result. Error handling ... Use the Haddock parser ... full Haskell given in 500 lines of data type definitions. ...
Rename an identifier. Promote/demote a definition to widen/narrow its scope ... mkLeaf = Leaf. mkNode :: a - (Tree a) - (Tree a) - Tree a. mkNode = Node ...