211
reputation
1
7

Philip Dorrell

I am a software developer, currently working for Weta Digital Ltd in Wellington, New Zealand. Mostly developing in Python, with occasional Javascript.

I used to believe that Dynamically Typed Programming Languages were the future, but I now suspect that the future will be Dependently Typed. Thus my interest in Idris.

1
answer
2
questions
~2k
people reached
  • Wellington, New Zealand
  • Member for 6 years, 5 months
  • 17 profile views
  • Last seen Aug 14 '13 at 7:52

Top tags (5)

Score 3
Posts 3
Score 3
Posts 2
Score 3
Posts 2
Score 3
Posts 2
Score 0
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (8)

Gold

Silver

1

Rarest

Bronze

7

Rarest