9. pure native encode java.net.URLEncoder.encode :: String -> String
encode “Dierk König“
native println System.out.println :: String -> IO ()
println “Dierk König“
native getText :: TextInputControl -> JFX String
text <- inputField.getText
println text - - does not compile!
inIO text println - - compiles!
Native Declarations
10.
11.
12.
13.
14.
15.
16.
17. Entry Points I
The github project
https://github.com/Frege/FregeFX
The tutorial that uses FregeFX to build a
cover-flow gallery
https://github.com/Dierk/fregeTutorial
FregeChat, client written in FregeFX
https://github.com/Dierk/FregeChat
18. Entry Points II
Gui of the Frege REPL, written in FregeFX
https://github.com/Dierk/frepl-gui
some videos
- https://www.youtube.com/watch?v=pxKJ_KPLml
- https://www.youtube.com/watch?v=9V7w-RSC_1A
19. Unique in Frege
Global type inference (requires purity)
Purity by default
effects are explicit in the type system
Type-safe concurrency & parallelism
Laziness by default
Values are always immutable
Guarantees extend into Java calls