Это вам не кок

Тут у unsafe вполне понятный смысл

Может наоборот

?

может ли программист написать определитель останова, который не сможет определить, останавливается ли он сам?

В коке понятно, а в хаскеле не очень

В haskell unsafe обычно там где можно обмануть систему типов, или реализовать unsafeCoerce

/me делает вид, что ByteString.Unsafe и Vector.unsafeBlaBla не существует

В типизированном языке я не помню разрешена ли конструкция M M хоть где-то. В нетипизированном думаю возможно.

Так, согласно такой постановки задачи это невозможно. Так как анализатор это функция от одного аргумента, а по условию не сказано что передавать в аргумент анализатора для анализатора, то и создать такую функцию невозможно.
Так как анализатор имеет тип
f: (() -> a) -> a
Попробуем проанализировать анализатор анализатором
f f невалидное выражение, так как f : (() -> a) -> a != () -> a
Если мы попытаемся добавить в качестве аргумента аргументу анализатор, мы получим:
f (f f)
Что тоже невалидный терм.
И так далее.

это не постановка задачи, а пятничный бред

но интересно, что кто-то рассуждает об абсурдности абсурда

да ё-моё

сервант блин

АРГХ

добавили они UVerb, да

а он не умеет несколько разных ответов с одним кодом

ну в чём-то это логично наверное, но блин

бесит

/me думает переходить ли на новый сервант или подождать с месяц