SpeakerConf: my findings in trying to use this functional programming business you guys keep talking about

Wednesday, August 8, 12

my findings in trying to use this functional

programming business you guys keep talking about

phil calçado@pcalcado

http://philcalcado.com

#speakerConf München




are tests good design aid for programming with pure-ish functions?

my question:


“dafuq? just use [Quick|Scala]Check LOL”

asking the FP community

“reason about your code or do not reason about your code,

there is no try”


silly example:we have iOS push notifications; let’s introduce android


written w/o tests


writing some tests


making it pass


introducing android


“Every function should have:- A single specific purpose- If possible, a generally useful purpose- A meaningful name- A structure that is simple to understand - An interface that is simple yet general enough”

Peter Norvig, Good Lisp Programming Style - http://bit.ly/u6JTPt


http://bit.ly/u6JTPt

http://bit.ly/u6JTPt

other findings


functional vs. object impedance happens all the

time

other findings



1) give up “functional” stages2) object-functional mapping

layer

stages must interact with ruby libs. options:


there is something going on between category theory and software engineering*

* you know, the fairly anecdotal body of knowledge we use

other findings


more types = less typingother findings


more types = less typingother findings

ORLY? howmuch less?


how much of testing as design aid can static

typing replace?

next question:


phil calçado

http://philcalcado.com@pcalcado

www.soundcloud.com


http://www.soundcloud.com

http://www.soundcloud.com

Technology

SpeakerConf: my findings in trying to use this functional programming business you guys keep talking about