Fuzion • Talks • Fosdem 2024: The Challenges of Running the Fuzion Language Natively on the OpenJDK

Fosdem 2024: The Challenges of Running the Fuzion Language Natively on the OpenJDK

Fridtjof Siebert, 2024-02-03.

Hosting event: FOSDEM 24.

Recordings:

The first slides have sound issues, so just skip to slide #4 and watch from there:

Slides

FOSDEM_2024_Fuzion_on_OpenJDK.pdf.

Example code

General tagged union type

off.
degC(v i32).
degF(v f64).
oven(setting off | degC | degF) is
  match setting
    off     => switch_off
    tc degC => heat_to tc
    tf degF => heat_to (degC ((tf.v-32)*5/9).as_i32)

switch_off      => say "off"
heat_to(t degC) => say "heat to {t.v}°C"

_ := oven (degC 200)
_ := oven (degF 400)
_ := oven off

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
off.
degC(v i32).
degF(v f64).
oven(setting off | degC | degF) is
  match setting
    off     => switch_off
    tc degC => heat_to tc
    tf degF => heat_to (degC ((tf.v-32)*5/9).as_i32)
switch_off      => say "off"
heat_to(t degC) => say "heat to {t.v}°C"
_ := oven (degC 200)
_ := oven (degF 400)
_ := oven off
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

nullable tagged union type

off.
Temperature ref is
  as_celsius i32 => abstract
oven(setting off | Temperature) is
  match setting
    off           => switch_off
    t Temperature => heat_to t.as_celsius

degC(v i32) : Temperature is
  redef as_celsius => v
degF(v f64) : Temperature is
  redef as_celsius => ((v-32)*5/9).as_i32

switch_off     => say "off"
heat_to(t i32) => say "heat to $t°C"

_ := oven (degC 200)
_ := oven (degF 400)
_ := oven off

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
off.
Temperature ref is
  as_celsius i32 => abstract
oven(setting off | Temperature) is
  match setting
    off           => switch_off
    t Temperature => heat_to t.as_celsius
degC(v i32) : Temperature is
  redef as_celsius => v
degF(v f64) : Temperature is
  redef as_celsius => ((v-32)*5/9).as_i32
switch_off     => say "off"
heat_to(t i32) => say "heat to $t°C"
_ := oven (degC 200)
_ := oven (degF 400)
_ := oven off
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

ref-like tagged union type

off.
clean.
Temperature ref is
  as_celsius i32 => abstract
Error ref is
  public redef as_string => "***error***"

oven(setting off | clean | Temperature | Error) is
  match setting
    off           => switch_off
    clean         => do_clean
    t Temperature => heat_to t.as_celsius
    e Error       => say e

degC(v i32) : Temperature is
  redef as_celsius => v
degF(v f64) : Temperature is
  redef as_celsius => ((v-32)*5/9).as_i32

switch_off     => say "off"
do_clean       => say "clean"
heat_to(t i32) => say "heat to $t°C"

_ := oven (degC 200)
_ := oven (degF 400)
_ := oven Error
_ := oven clean
_ := oven off

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
off.
clean.
Temperature ref is
  as_celsius i32 => abstract
Error ref is
  public redef as_string => "***error***"
oven(setting off | clean | Temperature | Error) is
  match setting
    off           => switch_off
    clean         => do_clean
    t Temperature => heat_to t.as_celsius
    e Error       => say e
degC(v i32) : Temperature is
  redef as_celsius => v
degF(v f64) : Temperature is
  redef as_celsius => ((v-32)*5/9).as_i32
switch_off     => say "off"
do_clean       => say "clean"
heat_to(t i32) => say "heat to $t°C"
_ := oven (degC 200)
_ := oven (degF 400)
_ := oven Error
_ := oven clean
_ := oven off
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

int-like tagged union type

on.
off.
clean.
err.

oven(setting off | clean | on | err) is
  match setting
    on     => switch_on
    off    => switch_off
    clean  => do_clean
    err    => show_error

switch_on      => say "on"
switch_off     => say "off"
do_clean       => say "clean"
show_error     => say "***error***"

_ array oven := [oven on, oven off, oven clean, oven err]

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
on.
off.
clean.
err.
oven(setting off | clean | on | err) is
  match setting
    on     => switch_on
    off    => switch_off
    clean  => do_clean
    err    => show_error
switch_on      => say "on"
switch_off     => say "off"
do_clean       => say "clean"
show_error     => say "***error***"
_ array oven := [oven on, oven off, oven clean, oven err]
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

bool-like tagged union type

on.
off.

oven(setting off | on) is
  match setting
    on     => switch_on
    off    => switch_off

switch_on      => say "on"
switch_off     => say "off"

_ array oven := [oven on, oven off]

1
2
3
4
5
6
7
8
9
10
11
12
13
on.
off.
oven(setting off | on) is
  match setting
    on     => switch_on
    off    => switch_off
switch_on      => say "on"
switch_off     => say "off"
_ array oven := [oven on, oven off]
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

unit-like tagged union type

on.    # never used, so `on` is effectively void
off.

oven(setting off | on) is
  match setting
    off    => switch_off
    on     => switch_on

switch_off     => say "off"
switch_on      => say "on"

_ array oven := [oven off, oven off]

1
2
3
4
5
6
7
8
9
10
11
12
13
on.    # never used, so `on` is effectively void
off.
oven(setting off | on) is
  match setting
    off    => switch_off
    on     => switch_on
switch_off     => say "off"
switch_on      => say "on"
_ array oven := [oven off, oven off]
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

void-like tagged union type

on.    # never used, so `on` is effectively void
off.   # never used, so `off` is effectively void

oven(setting off | on) is
  match setting
    off    => switch_off
    on     => switch_on

switch_off     => say "off"
switch_on      => say "on"

_ array oven := []

1
2
3
4
5
6
7
8
9
10
11
12
13
on.    # never used, so `on` is effectively void
off.   # never used, so `off` is effectively void
oven(setting off | on) is
  match setting
    off    => switch_off
    on     => switch_on
switch_off     => say "off"
switch_on      => say "on"
_ array oven := []
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

Using product type values

demo =>
  point (x, y i32).
  draw (p point) ! graphics =>
    graphics.env.draw_point p.x p.y
  p1 := point 3 4
  draw p1

graphics : effect is
  draw_point(px, py i32) => say "draw $px $py"

graphics.instate graphics ()->demo

1
2
3
4
5
6
7
8
9
10
11
12
demo =>
  point (x, y i32).
  draw (p point) ! graphics =>
    graphics.env.draw_point p.x p.y
  p1 := point 3 4
  draw p1
graphics : effect is
  draw_point(px, py i32) => say "draw $px $py"
graphics.instate graphics ()->demo
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

Returning product type values

demo =>
  point (x, y i32) is
    shear (k i32) => point x+k*y y
  draw (p point) ! graphics =>
    graphics.env.draw_point p.x p.y
  p1 := point 3 4
  p2 := p1.shear 2
  draw p2

graphics : effect is
  draw_point(px, py i32) => say "draw $px $py"

graphics.instate_self ()->demo

1
2
3
4
5
6
7
8
9
10
11
12
13
14
demo =>
  point (x, y i32) is
    shear (k i32) => point x+k*y y
  draw (p point) ! graphics =>
    graphics.env.draw_point p.x p.y
  p1 := point 3 4
  p2 := p1.shear 2
  draw p2
graphics : effect is
  draw_point(px, py i32) => say "draw $px $py"
graphics.instate_self ()->demo
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

What are effects?

last changed: 2025-02-14

next: TyDe 2023: Types as First-Class Values in Fuzion