Halting problem

gistfile1.coffee

doesProgramHalt = (program) ->
  if halts(program) == true
    return true
  else
    return false
    
q = (program) ->
  if doesProgramHalt(program)
    return
  else
    q(program)
    
a = () ->
  print "hello world"
    
b = () ->
  while(1)
    print "hello world"

q(a) # -> true
q(b) # -> infinite loop - no return value
q(q) # -> universe explodes (paradox which proves doesProgramHalt() cannot exist)