Function_application.fold

(*
   Function application
 *)


IO.write(String.join(map(show, args), with: sep) ++ terminator, file: IO.stdout)



** Math-style
IO.write(String.join(map(show, args), with: sep) ++ terminator, file: IO.stdout)

** Ruby Style, with commas
IO.write (String.join (map show, args), with: sep) ++ terminator, file: IO.stdout

** Haskell-style
IO.write ((String.join (map show args) with: sep) ++ terminator) file: IO.stdout

** S-expressions
(IO.write ((String.join (map show args) with: sep) ++ terminator) file: IO.stdout)

** Fold
IO.write (String.join (map show args) with: sep ++ terminator) file: IO.stdout

IO.write: (String.join (map show args) with: sep) ++ terminator file: IO.stdout

IO.write: (String.join (map show args), with: sep) ++ terminator, file: IO.stdout


"""
Prints the values to a stream, or to Sys.stdout by default.
Optional keyword arguments:
  file:  a file-like object (stream); defaults to the current sys.stdout.
  sep:   string inserted between values, default a space.
  end:   string appended after the last value, default a newline.
"""
function print args... (sep :: String = " ") (break : String = "\n") -> Unit:
    IO.write: (String.join (map show args) with: sep) + break
        file: IO.stdout
end

print "Hello" " " "World" "!" to: open("file.out")

=> f : x

=> f to: x
--   ^
--   |
--   `- named function application
--
-- the named arguments are used to verify the next available function label.

-- // --

-- ## Named blocks
--
-- If the named parameter is the last element on the line, the colon is omitted
-- and an implicit block is created.

-- ### Use Cases

-- Case #1
f l1: e1

f l1
  e1
end

-- Case #2
f l1: e1 l2: e2

f l1: e1 l2
  e2
end

-- Case #3
f l1: e1 l2: e2 l3: e3

f l1: e1 l2: e2 l3
  e3
end

f l1: e1 l2
  e2
l3
  e3
end

f l1
  e1
l2
  e2
l3
  e3
end

-- ### Types

f :: l1: Code -> l2: Code

f l1: e1 l2: e2


-- ## Standard control structures

names = ["Ana", "Bob", "Cavin", "Dylan"]
names =
  if ("Bill" in names) then
    Log.info "Bill found, kill Bill!"
    List.remove names "Bill"
  else
    List.prepend names "Bill"
  end


names = ["Ana", "Bob", "Cavin", "Dylan"]
names =
  if ("Bill" in names)
    Log.info "Bill found, kill Bill!"
    List.remove names "Bill"
  else
    List.prepend names "Bill"
  end



-- // --

function send_msg (from sender::String) (to receiver::String) -> Unit {
    ...
}


-> send_msg
:: from: String -> to: String -> Unit
-> send_msg from: "Steve"
:: to: String -> Unit
-> send_msg from: "Steve" to: "Alan"
:: Unit

-> (send_msg from: "Steve") to: "Alan"

-> print 2 + 2
== (print 2) + 2

-> print : 2 + 2
== (print 2) + 2

-> from :: Code (from: a -> b) -> Code b

-> f a: x b: y c: z
== (((f a: x) b: y) c: z)

-> f : x : y : z
== (((f x) y) z)

-> f $ g $ h $ x
== f (g (h x))


-- `: is a very low priority operator.

-- Original Haskell version
forM_ [1..10] $ \i -> do
  l <- readLine
  replicateM_ i $ print l


for [1..10] : i => {
    l <- input!
    replicate i : print l
}

for [1..10] : i => {
    for [5..20] : j => {
        l <- input!
        replicate i : print l
    }
}

for (i <- [1..10],
     j <- [5..20]) {

    l <- input!
    replicate i : print l
}




let squareOfEvens =
    numbers
    |> Seq.filter IsEven
    |> Seq.map Square




Cluster cluster = Cluster.builder()
    .addContactPoint("ds5.movves.io")
    .withCredentials("movves", "may0n3s3")
    .withCompression(ProtocolOptions.Compression.SNAPPY)
    .withPoolingOptions(new PoolingOptions()
        .setCoreConnectionsPerHost(HostDistance.REMOTE,12)
        .setMaxConnectionsPerHost(HostDistance.REMOTE,20))
    .build();



(-> Cluster.builder()
    (addContactPoint "ds5.movves.io")
    (withCredentials "movves" "may0n3s3")
    (withCompression ProtocolOptions.Compression.SNAPPY)
    (withPoolingOptions (-> PoolingOptions/new
                            (setCoreConnectionsPerHost HostDistance.REMOTE 12)
                            (setMaxConnectionsPerHost HostDistance.REMOTE 20))
    build)


cluster = Cluster.builder =>
  (add_contact_point "ds5.movves.io")
  (with_credentials "movves" "may0n3s3")
  (with_compression ProtocolOptions.Compression.SNAPPY)
  (with_pooling_options (PoolingOptions.new =>
          (set_core_connections_per_host HostDistance.REMOTE 12)
          (set_max_connections_per_host  HostDistance.REMOTE 20)))
  build

cluster = Cluster.create
  contact_point: "ds5.movves.io"
  credentials: ("movves", "may0n3s3")
  compression: ProtocolOptions.Compression.SNAPPY
  pooling_options: (PoolingOptions.create
          core_connections_per_host: (HostDistance.REMOTE, 12)
          max_connections_per_host:  (HostDistance.REMOTE, 20))


cluster = Cluster.builder
  |> add_contact_point "ds5.movves.io"
  |> with_credentials "movves" "may0n3s3"
  |> with_compression ProtocolOptions.Compression.SNAPPY
  |> with_pooling_options (PoolingOptions.new
        |> set_core_connections_per_host HostDistance.REMOTE 12
        |> set_max_connections_per_host(HostDistance.REMOTE 20)
  |> build

cluster = Cluster.builder
  >- add_contact_point "ds5.movves.io"
  >- with_credentials "movves" "may0n3s3"
  >- with_compression ProtocolOptions.Compression.SNAPPY
  >- with_pooling_options (PoolingOptions.new
        >- set_core_connections_per_host HostDistance.REMOTE 12
        >- set_max_connections_per_host(HostDistance.REMOTE 20)
  >- build

cluster = Cluster.builder
  >> add_contact_point "ds5.movves.io"
  >> with_credentials "movves" "may0n3s3"
  >> with_compression ProtocolOptions.Compression.SNAPPY
  >> with_pooling_options (PoolingOptions.new
        >> set_core_connections_per_host HostDistance.REMOTE 12
        >> set_max_connections_per_host(HostDistance.REMOTE 20)
  >> build


cluster = Cluster.builder
  => add_contact_point "ds5.movves.io"
  => with_credentials "movves" "may0n3s3"
  => with_compression ProtocolOptions.Compression.SNAPPY
  => with_pooling_options (PoolingOptions.new
        => set_core_connections_per_host HostDistance.REMOTE 12
        => set_max_connections_per_host(HostDistance.REMOTE 20)
  => build

-- • --

(* Look no error about optionals being erased *)
let greeting (prefix p = "!") (name n) (age a) => p ++ "hello " ++ n;
let msg = greeting (:name "Joe", :age 29);
let msg = greeting (:prefix "!!", :name "Joe", :age 29);


-- • --

hello name (lang = `en) = do
  greeting =
    case lang
      | `en ->
        print "using english"
        "Hello"
      | `pt -> "Olá"
      | `ru -> "Привет"
    end
  print "$greeting, $(String.capitalize name)!"
end


-- * --