Roy

http://roy.brianmckenna.org/

Roy is an experimental programming language that targets JavaScript. It tries to meld JavaScript semantics with some features common in static functional languages:

- Damas-Hindley-Milner type inference
- Whitespace significant syntax
- Compile-time meta-programming
- Simple tagged unions
- Pattern matching
- Structural typing
- Monad syntax

type Request = {url: String, payload: String}

let ajaxRequest = {
  return: \x -> x
  bind: \(x : Request) f ->
    $.get x.url x.payload f
}

let v = (do ajaxRequest
  value <- {url: '/examples/helloworld.roy', payload: 'stuff'}
  console.log value
  return value
)

console.log v

Obligatory

let isFizzBuzz x =
  if x % 15 == 0 then
    console.log "FizzBuzz"
  else
    isBuzz x

let isBuzz x =
  if x % 5 == 0 then
    console.log "Buzz"
  else
    isFizz x

let isFizz x =
  if x % 3 == 0 then
    console.log "Fizz"
  else
    console.log x

let fizzBuzz x y =
  if x < y + 1 then
    isFizzBuzz x
    fizzBuzz (x + 1) y
  else
    console.log "end"

fizzBuzz 1 25

Where are the polyvariadic functions?

I knew a Roy. He was a faggot.

oh great a "new" programming language. Just what we need.

``If I use static types on top of dynamic typing, it'll be faster!''
Damas-Hindley-Milner type inference
LOL! Does ``dynamic typing'' mean anything to you?
Whitespace significant syntax
FIOC is shit.
Compile-time meta-programming
Compiling? This is JavaScript!
Simple tagged unions
LOL! Does ``dynamic typing'' mean anything to you?
Pattern matching
LOL! Does ``dynamic typing'' mean anything to you?
Structural typing
LOL! Does ``dynamic typing'' mean anything to you?
Monad syntax
LOL! Does ``dynamic typing'' mean anything to you?
HIBT?