Рабочий момент, Agda

[deniok]

Что-то у меня хаскелевский импорт вот так работает

{-# IMPORT System.IO #-}

а вот так ломается

{-# IMPORT System.IO (hPutStrLn) #-}

говоря Parse error (hPutStrLn). Хотя у Норелла в Dependently Typed Programming in Agda список импорта в примере используется. Agda 2.3.0.1 под Windows. Посмотрите у кого более свежая (2.3.2) и/или другая OS.

Comments

[deni-ok.livejournal.com]

Развита - это да, но зачем форсировать стандартизацию - не очень понятно. Мы и так справимся, а подсадить на Агду миллионы "индусов" - в этом есть гротеск, но нет эйдоса:)

[nivanych.livejournal.com]

Хотел было сказать, что до сих пор, на хаскель индусов не пересадили.
Но задумался — а ведь агдочка-то более простой язык, чем хацкель...

[sassa-nf.livejournal.com]

"а ведь агдочка-то..."

8-) КАК?!