logji.blogspot.com

logji: The magical Specs/ScalaCheck defaultPrettyParams configuration implicit

http://logji.blogspot.com/2011/08/magical-specsscalacheck.html

Noodling towards a functional brain. Wednesday, August 17, 2011. The magical Specs/ScalaCheck defaultPrettyParams configuration implicit. Import org.specs. import org.scalacheck. class MySpec extends Specification with ScalaCheck { override val defaultPrettyParams = Pretty.Params(2) "your scalachecky specs here" should { / . } }. The magical '2' in Pretty.Params(2) tells Scalacheck to spit out the full stack trace instead of just the error message from the exception. Subscribe to: Post Comments (Atom).

logji: The Abstract Future

http://logji.blogspot.com/2014/02/the-abstract-future.html

Noodling towards a functional brain. Wednesday, February 12, 2014. In today’s post, we’re going to extend this notion beyond types to handle type constructors, and in so doing will show a mechanism that allows us to switch out entire models of computation. I’d like to step back a moment here and state that this post isn’t intended to function as a monad tutorial; there are numerous (perhaps too many! And, of course, down the road some concrete implementation of DatasetModule will refine the type construc...

logji: Correcting the Visitor pattern.

http://logji.blogspot.com/2012/02/correcting-visitor-pattern.html

Noodling towards a functional brain. Saturday, February 18, 2012. Correcting the Visitor pattern. I'm writing this post because I want to address a problem that I see time and time again: people who are trying to figure out how to encode algebraic data types in languages that do not support them come up with all kinds of crazy solutions. Public class TreeUtil { public static final A TreeVisitor A, Integer depth() { return new TreeVisitor A, Integer () { public Integer visitEmpty() { return 0; } public In...

logji: November 2009

http://logji.blogspot.com/2009_11_01_archive.html

Noodling towards a functional brain. Saturday, November 07, 2009. Composable Bindings in Lift, part II. In my previous post. I presented the DataBinding[T] type (T = NodeSeq = NodeSeq) and illustrated how classes inhabiting this type could be used along with an implicit binder function to create modular, reusable rendering logic for objects. In this post, I will discuss how to assemble these components and strategies for handling rendering over inheritance hierarchies. There are two different approaches ...

logji: September 2009

http://logji.blogspot.com/2009_09_01_archive.html

Noodling towards a functional brain. Tuesday, September 29, 2009. Composable bindings in Lift. I've been using Lift. As the framework behind a small internal web application at my company for the past year or so. The experience has been generally positive, despite a few quibbles I have with how state is typically maintained and passed around within an application. If you're not already familiar with them. With these goals and composition in mind, I started with the following tiny bit of code:. Implicit d...