ну это не настоящий язык, а скорее псевдокод, ну и не особо-то емели и хаскели на него похожи
типы и ПМ слишком сильно определяют вид этих языков чтоб у них с ISWIM было много общего
я где-то читал (сейчас не нашёл, где) что именно с этого языка пошёл синтаксис ML, и удобно по степени удобства перескакивания между синтаксисами языков делить их на "алголы-си", "извимы", "лиспы" и прочие