未定式类型是指在计算极限时，函数的形式导致极限无法直接通过代入计算得到，通常需要使用一些特殊的数学工具或技巧来求解。在高等数学中，未定式主要有以下几种类型：

0/0型：

当极限的分子和分母都趋于0时，无法直接计算出极限值。

∞/∞型：

当极限的分子和分母都趋于无穷大时，也无法直接计算出极限值。

0×∞型：

当极限的分子趋于0，而分母趋于无穷大时，同样无法直接计算出极限值。

∞-∞型：

当极限的两个无穷大量相减时，无法直接计算出极限值。

1^∞型：

当底数趋于1，而指数趋于无穷大时，极限形式为1的无穷大次幂，通常需要其他方法求解。

0^0型：

当底数趋于0，而指数趋于无穷大时，极限形式为0的无穷大次幂，同样需要其他方法求解。

∞^0型：

当底数趋于无穷大，而指数趋于0时，极限形式为无穷大的0次幂，也需要其他方法求解。

对于这些未定式，通常不能直接使用商的极限等于极限的商的法则来计算，而是需要使用洛必达法则（L'Hôpital's Rule）或其他极限运算法则来求解。洛必达法则适用于0/0型和∞/∞型未定式，通过求分子和分母的导数再求极限来解决。

需要注意的是，虽然洛必达法则是一种常用的求解未定式的方法，但它并不适用于所有未定式，有些未定式可能需要使用其他技巧或定理来求解，例如泰勒级数展开、等价无穷小替换等。