Avatar of Greg Bacon

Greg Bacon

Madison, Alabama

Computer Scientist. AI/ML. Software Engineer. Aviator. Flight Instructor.

  • About
  • Publications
  • Talks
  • Teaching
  • Blog
  • Tags
  • CV
  • Disclaimers

#type inference

Content tagged with "type inference"

Surprising Haskell Type Inference Result
2017-06-01
#Haskell #Type Inference

Haskell type inference appears to diagnose an infinite loop at compile time, but what’s really happening?

© 2026 Greg Bacon.
Built with Academic Portfolio Astro