Do you ever miss the static type system in Clojure?

Posted by Michiel Borkent on Stack Overflow See other posts from Stack Overflow or by Michiel Borkent
Published on 2010-06-05T11:12:32Z Indexed on 2010/06/05 11:22 UTC
Read the original article Hit count: 219

Filed under:

clojure

|

static-typing

Are there ever situations while developing in Clojure when you miss the static type system you have available in languages like Haskell and F#?

Can you give an example of a piece of code when the type system would come in very handy?

© Stack Overflow or respective owner

Related posts about clojure

StackOverflow in compojure web project

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi I've been playing around with clojure and have been using it to build a simple little audio player. The strange thing is that sometimes, maybe one out of twenty, when contact the server I will get the following error: 2010-04-20 15:33:20.963::WARN: Error for /control java.lang.StackOverflowError … >>> More
Wrong number of args passed to: repl$repl

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I have a trouble with a compojure "Getting started" example that I do not seem to understand. When I run the example from http://weavejester.github.com/compojure/docs/getting-started.html ...I get the following error at the lein repl step: ~/hello-www> lein repl src/hello_www/core.clj Exception… >>> More
Setting the Classpath and Accessing code from book: Programming Clojure

as seen on Stack Overflow - Search for 'Stack Overflow'
(I posted this same question on the Clojure list but haven't got an answer yet. Is anyone here ready to help?) I am going through Programming Clojure and I recently downloaded the code from the books official website. For other utils I can do, for example, (require 'clojure.contrib.str-utils) and… >>> More
How can I define a clojure type that implements the servlet interface?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm attempting to use deftype (from the bleeding-edge clojure 1.2 branch) to create a java class that implements the java Servlet interface. I would expect the code below to compile (even though it's not very useful). (ns foo [:import [javax.servlet Servlet ServletRequest ServletResponse]]) (deftype… >>> More
Stack overflow in compojure web project

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi I've been playing around with clojure and have been using it to build a simple little audio player. The strange thing is that sometimes, maybe one out of twenty, when contacting the server I will get the following error: 2010-04-20 15:33:20.963::WARN: Error for /control java.lang.StackOverflowError … >>> More

Related posts about static-typing

What can I do with dynamic typing that I can not do with static typing

as seen on Programmers - Search for 'Programmers'
I've been using python for a few days now and I think I understand the difference between dynamic and static typing. What I don't understand is why it's useful. I keep hearing about its "flexibility" but it seems like it just moves a bunch of compile time checks to runtime, which means more unit tests… >>> More
Simulating aspects of static-typing in a duck-typed language

as seen on Stack Overflow - Search for 'Stack Overflow'
In my current job I'm building a suite of Perl scripts that depend heavily on objects. (using Perl's bless() on a Hash to get as close to OO as possible) Now, for lack of a better way of putting this, most programmers at my company aren't very smart. Worse, they don't like reading documentation… >>> More
Static Typing and Writing a Simple Matrix Library

as seen on Stack Overflow - Search for 'Stack Overflow'
Aye it's been done a million times before, but damnit I want to do it again. I'm writing a simple Matrix Library for C++ with the intention of doing it right. I've come across something that's fairly obvious in mathematics, but not so obvious to a strongly typed system -- the fact that a 1x1 matrix… >>> More
What functionality does dynamic typing allow?

as seen on Programmers - Search for 'Programmers'
I've been using python for a few days now and I think I understand the difference between dynamic and static typing. What I don't understand is under what circumstances it would be preferred. It is flexible and readable, but at the expense of more runtime checks and additional required unit testing… >>> More
Are there any empirical studies on the effect of different languages on software quality?

as seen on Programmers - Search for 'Programmers'
The proponents of functional programming languages assert that functional programming makes it easier to reason about code. Those in favor of statically typed languages say that their compilers catch enough errors to make up for the additional complexity of type systems. But everything I read on these… >>> More