Irrationality exponent, Hausdorff dimension and effectivization