Crystal

Paradigm	Multi-paradigm: object-oriented, concurrent
Designed by	Joe Kohler, Ary Borenszweig, Juan Wajnerman, Brian Cardiff
Developer	Manas Technology Solutions
First appeared	June 19, 2014 (2014-06-19)[1]
Stable release	1.10.1  / 13 October 2023 (13 October 2023)
Typing discipline	static, inferred, nominal, duck
Implementation language	Crystal
Platform	IA-32 (i386), x86-64, AArch64[2]
OS	Linux, macOS, FreeBSD, OpenBSD[2]
License	Apache License 2.0
Filename extensions	.cr
Website	crystal-lang.org
Influenced by
Ruby, C, Rust, Go,[3] C#,[3] Python[3]

Crystal is a high-level general-purpose, object-oriented programming language, designed and developed by Ary Borenszweig, Juan Wajnerman, Brian Cardiff and more than 400 contributors.^[4] With syntax inspired by the language Ruby,^[3] it is a compiled language with static type-checking, but specifying the types of variables or method arguments is generally unneeded. Types are resolved by an advanced global type inference algorithm.^[5][6] Crystal is currently in active development. It is released as free and open-source software under the Apache License version 2.0.

History

Work on the language began in June 2011,^[7] with the aim of merging the elegance and productivity of Ruby with the speed, efficiency, and type safety of a compiled language.^[8][7] Initially named Joy, it was quickly renamed to Crystal.^[7]

The Crystal compiler was first written in Ruby, but later rewritten in Crystal, thus becoming self-hosting, as of November 2013.^[9] The first official version was released in June 2014.^[10] In July 2016, Crystal joined the TIOBE index.

Description

Although resembling the Ruby language in syntax, Crystal compiles to much more efficient native code using an LLVM backend, at the cost of precluding the dynamic aspects of Ruby. The advanced global type inference used by the Crystal compiler, combined with union types, gives it more the feel of a higher-level scripting language than many other comparable programming languages. It has automated garbage collection and offers a Boehm collector. Crystal possesses a macro system and supports generics as well as method and operator overloading. Its concurrency model is inspired by communicating sequential processes (CSP) and implements lightweight fibers and channels (for interfiber communication) inspired by Go.^[3]

Examples

puts "Hello World!"

class Greeter
  def initialize(@name : String)
  end

  def salute
    puts "Hello #{@name}!"
  end
end

g = Greeter.new("world")
g.salute

require "http/server"

server = HTTP::Server.new do |context|
  context.response.content_type = "text/plain"
  context.response.print "Hello world! The time is #{Time.local}"
end

server.bind_tcp("0.0.0.0", 8080)
puts "Listening on http://0.0.0.0:8080"
server.listen

require "socket"

def handle_client(client)
  message = client.gets
  client.puts message
end

server = TCPServer.new("localhost", 1234)
while client = server.accept?
  spawn handle_client(client)
end

desired_things = [:unicorns, "butterflies", 1_000_000]
p typeof(desired_things.first) # typeof returns the compile time type, here (Symbol | String | Int32)
p desired_things.first.class   # the class method returns the runtime type, here Symbol

channel = Channel(Int32).new

spawn do
  puts "Before first send"
  channel.send(1)
  puts "Before second send"
  channel.send(2)
end

puts "Before first receive"
value = channel.receive
puts value # => 1

puts "Before second receive"
value = channel.receive
puts value # => 2

Further reading

References

External links

• Official website
• Documentation
• Crystal-lang on GitHub
• /r/crystal_programming subreddit
• Crystal Announcements