Illegal Argument


Direct download: Illegal_Argument_121.mp3
Category:podcasts -- posted at: 12:17 PM

So.... this podcast thing - it turns out you don't just RECORD episodes, you really should edit, and POST them as well....

Yes, I (mark) dropped the ball and got side tracked with life, concerts, and TV and and woefully behind in posting this ( and the next, er last ) episode - so much that I've misplaced any and all links to articles we may have mentioned in this fairly short(ish) show.

Hope you enjoy.

Direct download: Illegal_Argument_120.mp3
Category:podcasts -- posted at: 7:06 AM

Sorry this episode took so long to get packaged up and built, but you know how long those type based compilations using make go....

Seriously tho, illness, lethargy, and just plain laziness got the better of me.

Enjoy a rant-free conversation on make, builds, larps, and the evil that is JBoss Classloaders....

Direct download: Illegal_Argument_119.mp3
Category:podcasts -- posted at: 10:11 AM

Join Mark, Greg, and Peter for some more absurd type level rants, whilst we weren’t exactly planning on diving once again into a big argument around types and functional programming, somehow we fell afoul of one almost immediately even before we got around to introducing the episode.

The argument starts with an argument over whether one can do “functional programming” in Java, and the difference between “functional programming” and “a functional programming language”. In this argument Greg claims that memory allocated for a class instance constitutes the state of a class — even if the class structure holds no state, and that ‘functions’ don’t allocate memory when defined.

The main discussion for the evening relates to an Ars Technica article about how much information you should pass in a function: a rich object structure or individual arguments.

During the discussion, Mark suggested that simply using String as the type of the argument is probably a bad design as you may want to restrict the context of the arguments, such as using a specific Password type, this ensued with an argument over deep type hierarchies (do I smell a theme here?) to which Mark countered this by (badly) describing a way of using parametric typing (and phantom typing) to improve the contract of passwords in the API.

Unfortunately the discussion got sidetracked with factories and PK7 implementations being tightly woven into the which probably detracted from any useful discussion.

Escaping away from type theory, Peter brings us back to the real worldwith a discussion on Web Fragments and JBoss Hell…

Misc:

Direct download: Illegal_Argument_-_Episode_118.mp3
Category:podcasts -- posted at: 11:26 AM

Direct download: Illegal_Argument_Episode_117.mp3
Category:podcasts -- posted at: 11:39 AM

  • Garbage Collection
  • Language/Compiler design
  • Function Types
    • A discussion on whether a functions signature is a type, or not.

During this discussion we talked about the implicit currying of haskell functions and how this could lead to run-time errors rather than compile errors, however whilst I (Mark) knew what I was talking about, I missed a fundamental part of the equation - function types include the return type, so a partially applied function that doesn’t fit a high-order function is a compile time error.

So given two functions:

someHof :: (String -> String) -> String
take3StringsReturningString :: String -> String -> String -> String

The first function someHof takes a function String -> String and returns a String, if we partially apply take3StringsReturningString "test" the resulting function is String -> String -> String which doesn’t match the required syntax of someHof so wouldn’t even compile.

Direct download: Illegal_Argument_Episode_116.mp3
Category:podcasts -- posted at: 7:20 AM

Illegal Argument - Episode 115

Direct download: Illegal_Argument_Episode_115.mp3
Category:podcasts -- posted at: 8:25 AM

Direct download: Illegal_Argument_-_Episode_114.mp3
Category:podcasts -- posted at: 2:37 AM

A discussion of dynamic lanugages with guest Manix Cook.

Direct download: Illegal_Argument_-_Episode_113.mp3
Category:general -- posted at: 12:03 PM

Direct download: 112_Illegal_Argument_-_Episode_112.mp3
Category:podcasts -- posted at: 9:02 AM