Obstacles to a totally functional programming style

"Totally functional programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practice in language extensibility and functional programming. Its technical essence extends the role of "fold" functions in structuring functional programs to include methods that make comparisons on elements of data structures. The obstacles that currently prevent the immediate uptake of TFP as a style within functional programming equally indicate future research directions in the areas of theoretical foundations, supporting technical infrastructure, demonstrated practical applicability, and relationship to OOP.

Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

MapScript: A map algebra programming language incorporating neighborhood analysis

Map algebra is a data model and simple functional notation to study the distribution and patterns of spatial phenomena. It uses a uniform representation of space as discrete grids, which are organized into layers. This paper discusses extensions to map algebra to handle neighborhood operations with a new data type called a template. Templates provide general windowing operations on grids to enable spatial models for cellular automata, mathematical morphology, and local spatial statistics. A programming language for map algebra that incorporates templates and special processing constructs is described. The programming language is called MapScript. Example program scripts are presented to perform diverse and interesting neighborhood analysis for descriptive, model-based and processed-based analysis.

Redefining functional models of basal ganglia organisation: Role for the posteroventral pallidum in linguistic processing?

Traditionally the basal ganglia have been implicated in motor behavior, as they are involved in both the execution of automatic actions and the modification of ongoing actions in novel contexts. Corresponding to cognition, the role of the basal ganglia has not been defined as explicitly. Relative to linguistic processes, contemporary theories of subcortical participation in language have endorsed a role for the globus pallidus internus (GPi) in the control of lexical-semantic operations. However, attempts to empirically validate these postulates have been largely limited to neuropsychological investigations of verbal fluency abilities subsequent to pallidotomy. We evaluated the impact of bilateral posteroventral pallidotomy (BPVP) on language function across a range of general and high-level linguistic abilities, and validated/extended working theories of pallidal participation in language. Comprehensive linguistic profiles were compiled up to 1 month before and 3 months after BPVP in 6 subjects with Parkinson's disease (PD). Commensurate linguistic profiles were also gathered over a 3-month period for a nonsurgical control cohort of 16 subjects with PD and a group of 16 non-neurologically impaired controls (NC). Nonparametric between-groups comparisons were conducted and reliable change indices calculated, relative to baseline/3-month follow-up difference scores. Group-wise statistical comparisons between the three groups failed to reveal significant postoperative changes in language performance. Case-by-case data analysis relative to clinically consequential change indices revealed reliable alterations in performance across several language variables as a consequence of BPVP. These findings lend support to models of subcortical participation in language, which promote a role for the GPi in lexical-semantic manipulation mechanisms. Concomitant improvements and decrements in postoperative performance were interpreted within the context of additive and subtractive postlesional effects. Relative to parkinsonian cohorts, clinically reliable versus statistically significant changes on a case by case basis may provide the most accurate method of characterizing the way in which pathophysiologically divergent basal ganglia linguistic circuits respond to BPVP.

Measurement of functional ability following traumatic brain injury using the Clinical Outcomes Variable Scale: A reliability study

This study determined the inter-tester and intra-tester reliability of physiotherapists measuring functional motor ability of traumatic brain injury clients using the Clinical Outcomes Variable Scale (COVS). To test inter-tester reliability, 14 physiotherapists scored the ability of 16 videotaped patients to execute the items that comprise the COVS. Intra-tester reliability was determined by four physiotherapists repeating their assessments after one week, and three months later. The intra-class correlation coefficients (ICC) were very high for both inter-tester reliability (ICC > 0.97 for total COVS scores, ICC > 0.93 for individual COVS items) and intra-tester reliability (ICC > 0.97). This study demonstrates that physiotherapists are reliable in the administration of the COVS.

Rough Notes on Programming AVR Microcontrollers in C

These notes follow on from the material that you studied in CSSE1000 Introduction to Computer Systems. There you studied details of logic gates, binary numbers and instruction set architectures using the Atmel AVR microcontroller family as an example. In your present course (METR2800 Team Project I), you need to get on to designing and building an application which will include such a microcontroller. These notes focus on programming an AVR microcontroller in C and provide a number of example programs to illustrate the use of some of the AVR peripheral devices.

A first-principles density-functional calculation of the electronic and vibrational structure of the key melanin monomers

We report first-principles density-functional calculations for hydroquinone (HQ), indolequinone (IQ), and semiquinone (SQ). These molecules are believed to be the basic building blocks of the eumelanins, a class of biomacromolecules with important biological functions (including photoprotection) and with the potential for certain bioengineering applications. We have used the difference of self-consistent fields method to study the energy gap between the highest occupied molecular orbital and the lowest unoccupied molecular orbital, HL. We show that HL is similar in IQ and SQ, but approximately twice as large in HQ. This may have important implications for our understanding of the observed broadband optical absorption of the eumelanins. The possibility of using this difference in HL to molecularly engineer the electronic properties of eumelanins is discussed. We calculate the infrared and Raman spectra of the three redox forms from first principles. Each of the molecules have significantly different infrared and Raman signatures, and so these spectra could be used in situ to nondestructively identify the monomeric content of macromolecules. It is hoped that this may be a helpful analytical tool in determining the structure of eumelanin macromolecules and hence in helping to determine the structure-property-function relationships that control the behavior of the eumelanins.

Functional polymorphism of the human arylamine N-acetyltransferase type 1 gene caused by (CT)-T-190 and G(560)A mutations

Human N-acetyltransferase type 1 (NAT1) catalyses the N- or O-acetylation of various arylamine and heterocyclic amine substrates and is able to bioactivate several known carcinogens. Despite wide inter-individual variability in activity, historically, NAT1 was considered to be monomorphic in nature. However, recent reports of allelic variation at the NAT1 locus suggest that it may be a polymorphically expressed enzyme. In the present study, peripheral blood mononuclear cell NAT1 activity in 85 individuals was found to be bimodally distributed with approximately 8% of the population being slow acetylators. Subsequent sequencing of the individuals having slow acetylator status showed all to have either a (CT)-T-190 or G(560)A base substitution located in the protein encoding region of the NAT1 gene. The (CT)-T-190 base substitution changed a highly conserved Arg(64), which others have shown to be essential for fully functional NAT1 protein. The (CT)-T-190 mutation has not been reported previously and we have named it NAT1*17. The G(560)A mutation is associated with the base substitutions previously observed in the NAT1*10 allele and this variant (NAT1*14) encodes for a protein with reduced acetylation capacity. A novel method using linear PCR and dideoxy terminators was developed for the detection of NAT1*14 and NAT1*17. Neither of these variants was found in the rapid acetylator population. We conclude that both the (CT)-T-190 (NAT1*17) and G(560)A (NAT1*14) NAT1 structural variants are involved in a distinct NAT1 polymorphism. Because NAT1 can bioactivate several carcinogens, this polymorphism may have implications for cancer risk in individual subjects. (C) 1998 Chapman & Hall Ltd.

Structural and functional characterisation of human sulfotransferases

The human aryl sulfotransferases HAST4 and HAST4v vary by only two amino acids but exhibit markedly different affinity towards the sulfonate acceptor p-nitrophenol and the sulfonate donor 3'-phosphoadenosine-5'-phosphosulfate (PAPS). To determine the importance of each of these amino acid differences, chimeric constructs were made of HAST4 and HAST4v. By attaching the last 120 amino acids of HAST-4v to HAST4 (changing Thr235 to Asn235) we have been able to produce a protein that has a K-m for PAPS similar to HAST4v. The reverse construct, HAST4v/4 produces a protein with a K-m for PAPS similar to HAST4. These data suggests that the COOH-terminal of sulfotransferases is involved in co-factor binding. (C) 1998 Elsevier Science Ireland Ltd. All rights reserved.

Functional and structural characterization of isolated perfused stingray liver including effects of ischaemia/reperfusion

The morphological and functional characteristics of stingray liver were studied, including the effect of ischaemia/reperfusion. With an isolated perfused model, it was shown that the stingray liver was more resistant than the rat liver to ischaemia/reperfusion injury; this was consistent with the differing partial oxygen tensions usually present in the two species. This study confirmed that whereas stingray hepatocytes form tubules with central bile canaliculi as in other fish, the stingray liver has portal triads and a lobular architecture as in mammals. Apoptosis of hepatocytes, demonstrated in the normal liver, was only marginally enhanced by ischaemia/reperfusion. Resulting apoptotic bodies were phagocytized by macrophage-like cells in hepatocyte tubules. In contrast to rat liver, the stingray liver showed no necrosis after ischaemia-reperfusion. (C) 1998 W.B. Saunders Company Limited.

Response (re-)programming in aging: A kinematic analysis

Background. Age-related motor slowing may reflect either motor programming deficits, poorer movement execution, or mere strategic preferences for online guidance of movement. We controlled such preferences, limiting the extent to which movements could be programmed. Methods. Twenty-four young and 24 older adults performed a line drawing task that allowed movements to he prepared in advance in one case (i.e., cue initially available indicating target location) and not in another (i.e., no cue initially available as to target location). Participants connected large or small targets illuminated by light-emitting diodes upon a graphics tablet that sampled pen tip position at 200 Hz. Results. Older adults had a disproportionate difficulty initiating movement when prevented from programming in advance. Older adults produced slower, less efficient movements, particularly when prevented from programming under greater precision requirements. Conclusions. The slower movements of older adults do not simply reflect a preference for online control, as older adults have less efficient movements when forced to reprogram their movements. Age-related motor slowing kinematically resembles that seen in patients with cerebellar dysfunction.