タグ

関連タグで絞り込む (2)

タグの絞り込みを解除

Haskellに関するtomo_ariのブックマーク (2)

  • Haskell でのデバッグ - あどけない話

    「純粋関数型言語はデバッグしにくい。だって純粋な関数で printf デバッグできないから」とつぶやいている人をよく見かけます。これまで放置してきましたが、リツイートが50を超えたので、Haskellでのデバッグについて書きます。 例外処理と同じように、Haskell でのデバッグでは、純粋な関数と IO を分けて考える必要あります。 IO での printf デバッグ IO では、putStrLn や print が使えるから問題ないですよね? foo :: Int -> IO Bool foo i = do x <- あれして i putStrLn $ "x = " ++ show x これして putStrLn "ここも通過" -- それもする y <- それもする print y return y ちなみに、forkIO 起動した軽量スレッドから putStrLn する場合、軽量ス

    Haskell でのデバッグ - あどけない話
  • ジョン・タイター - Wikipedia

    ジョン・タイター(英: John Titor)とは、自分を1998年生まれだと明かした、2000年にインターネット上に現れた2036年からやってきたタイムトラベラーを自称する男性である。しかしながら、未来の世界に関する説明に一貫性が無いため手の込んだ作り話であると考えられ、また2009年に個人的に調査を行っていた人物によってフロリダの弁護士の男性とその兄弟で計算機科学者の男性の2人が話の創作を行ったことを突き止めた[1]。加えて、話の創作に関わったという人物によれば何らかの目的のために行われた社会実験的な試みであった可能性が示された。 概要[編集] 2000年11月3日、アメリカの大手ネット掲示板に、2036年からやってきたと自称する男性が書き込みを行った。 男性は「ジョン・タイター」と名乗ると、複数の掲示板やチャットでのやりとりを通じ、タイムトラベルの理論や自身のいた未来に関する状況、未

    tomo_ari
    tomo_ari 2012/06/04
    Maybeは予言されていた!!! "プログラミングの主流が、If/Then方式からIf/Then/Maybe方式へと変わっているという。"
  • 1