Иван Иноземцев — fantom

FantomCross-VM language

четверг, 24 июня 2010 г.

Общие сведения

Объектно-ориентированный

Статически типизированный

Opensource (Academic Free license 3.0)


Почему Fantom?

Мультиплатформенность

Отличный язык

Удобство “из коробки” (built-in tools)

Интеграция с платформой

О@#$%ная IDE от Xored :)


Мультиплатформенность

.fan

.fcode .js

JVM .NET LLVM Parrot


Достоинства языка

Повышение производительности программиста (по сравнению с Java)

Страховка от ошибок

Мультипарадигменность

Низкий порог вхождения (по сравнению с Scala, Clojure)


Производительность

Литералы

First-class функции

Замыкания

Вывод типов

Миксины

Множество удобных мелочей


ЛитералыСписки [1, 3, 5, 7]

["a", ["b", "cd"]]

Мапы ["str": "Str", 1: 3, "list": [null, 5]]

Типы (reflecion)Str#sys::Str#Str#capitalize

URIs `ftp://user001:[email protected]/mydir/myfile.txt``http://fantom.org``/Users/ivaninozemtsev/work/fantom`

Временные интервалы [1ns, 5ms, 12sec, 3hr, 1day]

Диапазоны [1..5, 2..8, 0..<5]


mailto:[email protected]

mailto:[email protected]

http://fantom.org

http://fantom.org

Функции и замыкания

Функции как объекты //simple signatures|->| voidSig := |->| {}|->Int| returnsInt := |->Int| { 42 }

Методы содержат функции

|Int a, Int b ->Int| plus := Int#plus.func|->| mainFunc := #main.func

Функции могут связывать аргументы

opFunc := |Method m, Int a, Int b| { m.callOn(a, [b]) }mul := opFunc.bind([Int#mult]) //|Int, Int->Int|plus2 := opFunc.bind([Int#plus, 2]) //|Int -> Int|

Замыкания - выражения, возвращающие функции

Str prefix := ""print := |Obj o->Str| { prefix + o.toStr }


Вывод типов

Вывод локальных переменных

mc := MyClass()s := "this is string"duration := 1day

Вывод параметров типа для коллекций

intList := [1,2,4]strIntMap := ["a":4, "b":5]


Миксиныmixin FirstLast{ abstract Str firstName() abstract Str lastName()}

mixin Age{ abstract Int age }

mixin WithImpl : FirstLast{ Str fullName() { "$firstName $lastName" }}

mixin MultiInh : WithImpl, Age{ override Str toStr() { "$fullName ($age years old)" } }

Абстрактные поля и методы

Методы с имплементацией

Перегрузка методов из Obj


Мелкие удобства

Неявные upcast’ы Derived derived := base

Safe invoke person?.phones?.first //null if p == null

Elvis operator //alias for this == null ? that : thisthis ?: that

Не нужны () для методов без параметров

cap := "a".capitalize

Опциональный return Int negate(Int arg) { arg.negate }

isnot’ keyword alwaysFalse := "a" isnot Str


Безопасность

Nullable типы

Константные классы и члены

No shared mutable state


Nullable types

Every type non-nullable by default

Obvious errors are caught by compiler

Automatic coercion between nullable and non-nullable with runtime check

class Nullable{ Void main() { Int? nullable := null Int nonNullable := 0 nonNullable = nullable //runtime err nonNullable = null //compile err do3(null) //compile err do3(nullable) //runtime err } Int do1(Int? arg) { null } //compile err Int do2(Int? arg) { arg } //runtime err Int? do3(Int arg) { arg } }


Const types

Const classes contain only const fields

Const fields must be set in constructor

Const fields can have only const type or [List, Map, Func].toImmutable

Static fields must be const

List and Maps can be const or mutable

class NonConst{ const Int constField Int nonConstField Void mutate() { constField = 4 //compile err nonConstField = 4 //ok }}

class Const{ new make(Int i, Str[] list) { //implicit call of list.toImmutable this.list = list } const Str[] list}


Actor framework

Actors are the only way for multithreading

Actor are const classes extending Actor class

Actors interchange with const or serializable messages

Actors can have private mutable data


Actor frameworkusing concurrent

const class Logger : Actor{ new make(ActorPool pool := ActorPool()) : super(pool) {} override Obj? receive(Obj? msg) { echo(msg); return null }}class Actors{ Void main() { logger := Logger() logger.send("Hello") future := logger.sendLater(1sec, "Later") logger.send("Now") future2 := logger.sendWhenDone(future, "After later"); future3 := logger.sendWhenDone(future2, "After after") future3.cancel Actor.sleep(2sec) }}


Мультипарадигменность


Декларативный стиль

a := AddressBook { Person { first = "Ivan" last = "Inozemtsev" phones = [ Phone { num = "+79139494750"; type = PhoneType.cell}, Phone { num = "+73833631033" type = PhoneType.work } ] }, }


Динамический стильclass Dict{ Str:Obj? map new make(Str:Obj? map) { this.map = map } override Obj? trap(Str name, Obj?[]? args) { if(args.isEmpty) return map[name]//getter return (map[name] = args.first) //setter }}

Void main() { dict := Dict(["foo":5, "bar":"str"]) Str a := dict->foo->toStr //"5" Str b := dict->bar //"str" Obj o := dict->o //null dict->o = 42 }


Функциональный стиль

persons.findAll |Person p->Bool| { p.first == "Ivan" }.map |Person p -> Phone[]| { p.phones }.flatten .exclude |Phone ph->Bool| { ph.type == PhoneType.work }.map |Phone ph->Str| { ph.num }.each { echo(it) }


Что включено?

Возможность писать build-скрипты на Фантоме

Компиляция документации API

Встроенные юнит-тесты

Встроенный веб-сервер

Интерактивная консоль (почти REPL)


Билд-скриптыusing buildclass Build : build::BuildPod{ new make() { podName = "f4builder" summary = "" depends = ["sys 1.0", "compiler 1.0", "compilerJava 1.0", "javaBytecode 1.0", "f4core 1.0"] srcDirs = [`fan/`] outDir = `./` }}


Билд-скриптыclass Build : BuildPod{ @Target { help = "Build native JavaFx files" } Void javafx() { log.info("javafx [$podName]") log.indent

src := scriptFile.parent + `javafx/` dist := scriptFile.parent + `res/javafx/`

// start with a clean directory Delete.make(this, dist).run CreateDir.make(this, dist).run

// compile and package cmd := ["javafxpackager", "-src", src.osPath, "-appClass", "fan.fwt.Canvas", "-d", dist.osPath] r := Process.make(cmd).run.join...


документация API

** ** Compare two strings without regard to case and return -1, 0, or 1 ** if this string is less than, equal to, or greater than the specified ** string. Only ASCII character case is taken into account. ** See `localeCompare` for localized case insensitive comparisions. ** ** Examples: ** "a".compareIgnoreCase("b") => -1 ** "hi".compareIgnoreCase("HI") => 0 ** "b".compareIgnoreCase("a") => 1 ** Int compareIgnoreCase(Str s)


документация APIcompareIgnoreCase

Int compareIgnoreCase(Str s)

Compare two strings without regard to case and return -1, 0, or 1 if this string is less than, equal to, or greater than the specified string. Only ASCII character case is taken into account. See localeCompare for localized case insensitive comparisions.

Examples:

"a".compareIgnoreCase("b") => -1"hi".compareIgnoreCase("HI") => 0"b".compareIgnoreCase("a") => 1


Тесты

class ParseExprTest : Test{////////////////////////////////////////////////////////////////// Literals//////////////////////////////////////////////////////////////// Void testNullLiteral() { verifyExpr(ExprId.nullLiteral, "null", |Literal l| { verifyEq(l.val, null) verifyEq(l.resolvedType.qname, "sys::Obj") }) }


Веб-серверclass WebHello : AbstractMain{ @Opt { help = "http port" } Int port := 8080

override Int run() { wisp := WispService { it.port = this.port it.root = RouteMod { routes = [ "hello": HelloMod() ] } } return runServices([wisp]) }}

const class HelloMod : WebMod{ override Void onGet() { res.headers["Content-Type"] = "text/plain; charset=utf-8" res.out.print("hello world #4") }}


Как поиграться?komaz-mac:margincon ivaninozemtsev$ fanshFantom Shell v1.0.53 ('?' for help)fansh> a := [1,2,3,4,5][1, 2, 3, 4, 5]fansh> a.map { it * 2 }.map { it.toStr }.sortr[8, 6, 4, 2, 10]fansh> [1,2,3,4,5].reduce(0) |Int r, Int i -> Int| { r + i }15fansh> mul := |Int op1, Int op2 -> Int| { op1 * op2 }|sys::Int,sys::Int->sys::Int|fansh> plusSlot := Int#plussys::Int.plusfansh> plus := |Int op1, Int op2 -> Int| { plusSlot.callOn(op1, [op2]) }|sys::Int,sys::Int->sys::Int|fansh> plus(4, 5)9


Как поиграться?

komaz-mac:margincon ivaninozemtsev$ echo "#! /usr/bin/env fanclass Hello{ Void main() { echo(\"Hello, world\") }} " > hw.fankomaz-mac:margincon ivaninozemtsev$ chmod +x hw.fankomaz-mac:margincon ivaninozemtsev$ ./hw.fan Hello, worldkomaz-mac:margincon ivaninozemtsev$


Взаимодействие с платформой (на примере Java)

using [java]org.eclipse.dltk.internal.ui.textusing [java]org.eclipse.core.runtimeusing [java]org.eclipse.dltk.coreusing [java]org.eclipse.ui.progress

class ReconcileListener : IScriptReconcilingListener { private AstView view public new make(AstView view) { this.view = view } override Void aboutToBeReconciled() {} override Void reconciled(ISourceModule? module, Bool forced, IProgressMonitor? progressMonitor) { if (module != null) UpdateJob(view, module).schedule }}


F4 IDEНаписана на Фантоме

Компиляция/запуск/отладка

Ссылки между проектами

Продвинутое автодополнение

Семантическая подсветка

Навигация по коду

Построение иерархий наследования

Показ API-doc’ов


Демонстрация F4 IDE в действии


Спасибо!


Иван Иноземцев — fantom

Technology