Category Archives: Uncategorized

Using “Using” in F#

I was translating a piece of supposedly idiomatic C# AES crypto code to F# and couldn’t understand why the encrypt-decrypt roundtrip did not produce identical values. In fact I got an exception in the decryption function. The interesting C# fragment: … Continue reading

Posted in Uncategorized | Tagged , , , , , , | Leave a comment

Asynchrony, Concurrency and Parallelism

0 Index 1 Introduction 2 Microsoft .NET 2.1 Reactive Extensions for .NET (Rx) 2.2 Async 2.3 F# First-Class Events 2.4 Five-Spice Powder 3 Google Go 3.1. The Language 3.2 Practical Matters 3.3 Origins 4 References 1 Introduction Concurrency and (orthogonally) … Continue reading

Posted in Computer Science, Declarative, Imperative, Paradigm, Software, Technical, Uncategorized | Tagged , , , , , , , , , , , , , , , , , , | 1 Comment

Supervision – F# for Static Analysis

I just wrote a white paper together with a colleague of mine about a pet project we’ve worked on in our spare time: Supervision – F# for Static Analysis. It covers our experiences using F# for a non-trivial project. At … Continue reading

Posted in Uncategorized | Tagged , , , , , , , , | Leave a comment

Pixels en masse

In this post I’ll show you how to do image processing in 50 lines of C# code, or less. To do this, we’ll need a few trustees: Microsoft .Net, our software platform of choice LinqPad, our software environment of choice … Continue reading

Posted in Uncategorized | Tagged , , , , , , , , | 1 Comment

Tablet, The Ultimate

The tablet PC is a fascinating creature. The flat multi-touch surface provides a great opportunity to make the PC natural, intuitive and to some extent tangible. It will empower artists and narrow the gap between impression and expression, between thought … Continue reading

Posted in Uncategorized | Tagged , , , , , , , , | 2 Comments

Shapely Monads

“A new way to think about monads.” 0. Index Greg Meredith on Monads Definition Syntax The List Shape    3.0. Shape    3.1. Wrap    3.3. Roll Equations Shapes & Monads    5.1. The Identity Monad    5.2. The ┬áMaybe Monad    5.3. The List Monad … Continue reading

Posted in Computer Science, Datamodel, Declarative, Imperative, Paradigm, Software, Technical, Uncategorized | Tagged , , , , , , , , , , , | 1 Comment

Workflows

1. Rationale In the computational space we know as software, there appears to be a growing trend to recognize and encode processes as workflows. These workflows can be business processes that require input from customer service or other personel, span … Continue reading

Posted in Datamodel, Imperative, Navision, Paradigm, Program, Software, Technical, Uncategorized | Tagged , , , , , , , , , , , , , , , , | Leave a comment