palate 0.3.8

File type detection combining tft and hyperpolyglot
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

{-- 
    This program displays the
    current time on stdandard output
    every other second.
    -}
    
module examples.CommandLineClock where

data Date = native java.util.Date where
    native new :: () -> IO (MutableIO Date)     -- new Date()
    native toString :: Mutable s Date -> ST s String    -- d.toString()

--- 'IO' action to give us the current time as 'String'
current :: IO String
current = do
    d <- Date.new ()
    d.toString

{- 
    "java.lang.Thread.sleep" takes a "long" and
    returns nothing, but may throw an InterruptedException.
    This is without doubt an IO action.
    
    public static void sleep(long millis)
                  throws InterruptedException
    
    Encoded in Frege:
    - argument type  long   Long
    - result         void   ()
    - does IO               IO ()
    - throws ...            throws ....
     
-}
-- .... defined in frege.java.Lang
-- native sleep java.lang.Thread.sleep :: Long -> IO () throws InterruptedException

      
main args =  
    forever do
        current >>= print
        print "\r"
        stdout.flush
        Thread.sleep 999