vote up
0
vote down

Agile Testing is Different

I come from a QA background. I started off my career doing testing. I learned about testing the same way I learned about development… reading lots of books and applying what I learned. This is how you are supposed to do QA: Write a test plan for the
Making the Complex Simple
 
jsonmez
tags: agile automation best practices functional
Jun 16 2010 06:05 PM
vote up
0
vote down

Imperative to Declarative in C#

One of things that I am trying to do is use try and create immutable objects primarily for concurrency and also helps in TDD. So here is a sample code for the Immutable object public class Foo { private List<Tuple<bool, string>> list;
Naveen's Blog
 
Naveen
tags: .net c# functional
May 08 2010 04:20 AM
vote up
0
vote down

Boise Code Camp 2010 Presentations

Went to Boise Code Camp this weekend and it was great! There were some really good sessions and good discussions on Agile, Scrum and domain specific languages. I think events like these are important because they help us to zoom out a little and see what
Making the Complex Simple
 
jsonmez
tags: architecture automation frameworks functional
Mar 29 2010 08:16 PM
vote up
0
vote down

Objects to Unify Type Classes and GADTs

Objects to Unify Type Classes and GADTs, by Bruno C. d. S. Oliveira and Martin Sulzmann: We propose an Haskell-like language with the goal of unifying type classes and generalized algebraic datatypes (GADTs) into a single class construct. We treat
Lambda the Ultimate - Programming Languages Weblog
 
tags: functional object-functional oop theory
Feb 23 2010 03:18 AM
vote up
0
vote down

A Lambda Calculus for Real Analysis

A Lambda Calculus for Real Analysis Abstract Stone Duality is a revolutionary paradigm for general topology that describes computable continuous functions directly, without using set theory, infinitary lattice theory or a prior theory of discrete
Lambda the Ultimate - Programming Languages Weblog
 
tags: category theory functional lambda calculus logic/declarative
Feb 17 2010 03:27 AM
vote up
0
vote down

Computational Semantics with Functional Programming

The manuscript of the book Computational Semantics with Functional Programming by Jan van Eijck and Christina Unger, as well as related software, is available online. The introductory chapters are probably going to be unnecessary for LtU readers, but
Lambda the Ultimate - Programming Languages Weblog
 
tags: functional misc books
Feb 12 2010 07:12 AM
vote up
0
vote down

Delimited Control in OCaml, Abstractly and Concretely, System Description

Delimited Control in OCaml, Abstractly and Concretely, System Description We describe the first implementation of multi-prompt delimited control operators in OCaml that is direct in that it captures only the needed part of the control stack. The
Lambda the Ultimate - Programming Languages Weblog
 
tags: cross language runtimes functional implementation semantics
Jan 25 2010 11:13 PM
vote up
0
vote down

Syntactic Proofs of Compositional Compiler Correctness

Syntactic Proofs of Compositional Compiler Correctness Semantic preservation by compilers for higher-order languages can be verified using simple syntactic methods. At the heart of classic techniques are relations between source-level and target-level
Lambda the Ultimate - Programming Languages Weblog
 
tags: functional implementation lambda calculus semantics
Jan 09 2010 11:07 PM
vote up
0
vote down

A Verified Compiler for an Impure Functional Language

A Verified Compiler for an Impure Functional Language We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in the Coq proof assistant
Lambda the Ultimate - Programming Languages Weblog
 
tags: functional implementation lambda calculus semantics
Jan 04 2010 11:07 PM
vote up
0
vote down

Certified Programming With Dependent Types Goes Beta

Certified Programming With Dependent Types From the introduction: We would all like to have programs check that our programs are correct. Due in no small part to some bold but unfulfilled promises in the history of computer science, today most people who
Lambda the Ultimate - Programming Languages Weblog
 
tags: functional lambda calculus logic/declarative misc books
Jan 04 2010 11:07 PM
vote up
0
vote down

Automated Functional Testing: Record or Program?

I have been recently devoting some time to building out a framework using Watij to be able to easily write automated functional tests for backlog items for the application I am working on. There are many factors in the technology choice, but one of the
Making the Complex Simple
 
jsonmez
tags: automation functional process improvement testing
Dec 18 2009 08:10 PM
vote up
0
vote down

Steepest Ascent Hill Climbing in C# and F#

Recently I've been working with some local search techniques and wanted to share my Steepest Ascent Hill Climbing solution. The general idea of Steepest Ascent Hill Climbing is that in each iteration of the hill climbing process you apply a set of
Rick Minerich's Development Wonderland
 
RickM
tags: f# functional c# fsharp
Nov 29 2009 09:24 PM
vote up
0
vote down

F# - Designing Functional Interfaces for Pipelining

So you have an Object Oriented library but yet want to be able to use F#'s functional pipelining feature to design expressive data processing workflows.  How do you go about it? First, lets set a goal.  Some low hanging fruit so to speak. 
Rick Minerich's Development Wonderland
 
RickM
tags: f# functional idisposable fsharp
Nov 12 2009 11:28 PM
vote up
0
vote down

Closure vs. Object in Perl

I was curios how closures performs in comparison with objects in Perl. I have tested it on counter as the simplest possible abstraction with state. use Benchmark qw(cmpthese); sub make_counter { my $counter = shift; return sub { $counter++ }; } package
Pichi's blog
 
tags: performance object system functional perl
Nov 11 2009 03:52 PM
vote up
0
vote down

[].inject(“Groovy”){}

The collection helper methods like each, findAll, and collect are among the clearest productivity advantages of Groovy over Java. For reference, here’s a list of the common collection helper methods on the Groovy Quick Start page (after opening the
Inside the Machine
 
Peabody
tags: groovy fold functional inject
Jan 26 2009 08:14 AM
vote up
0
vote down

Heterogeneous Lists and the Limits of the Java Type System

Today, we’re going on a journey. It is a sojourn to the outer limits of the expressiveness of the Java type system, and to the edge of what can be considered sane programming. This is definitely one for the power users. You will need a firm grasp
Apocalisp
 
Rúnar
tags: programming java functional hlist java abuse
Oct 23 2008 02:35 PM
vote up
0
vote down

Higher-Order Java Parallelism, Part 3: Threadless Concurrency With Actors

Multi-core processing is changing the way we write programs. Modern computers come with multi-core or multiple processors, and modern applications no longer do just one thing at a time. But all of this has left Java a little bit behind. While languages
Apocalisp
 
Rúnar
tags: programming java actors concurrency functional
Jul 28 2008 11:38 PM
vote up
0
vote down

Arc - mostly macros and syntactic sugar

Stefan Tilkov said about Arc: After a quick glance at the tutorial, the most intriguing bit seems to be the support for macros, which work (almost) like function definitions. Interesting, but nothing that gets me overly excited. I have same experinece. I
Pichi's blog
 
tags: lisp functional arc language
Feb 01 2008 03:24 PM