The effective homology method provides algorithms computing homology groups of spaces. This technique is based on the notion of object with effective homology, which encodes a permanent connection between a chain complex and its homology. Applying similar ideas to the computation of homotopy groups, we try to develop an effective homotopy theory. This paper introduces some initial definitions and results as a first approach towards our general goal.