Eta: The Rise of Pure FP on the JVM

Pure functional programming has been around for more than 30 years and the benefits are widely known. Yet, it’s industrial adoption has been scanty. In this talk, we will discuss the work being done to address this problem via Eta.

Transcript

1. The Rise of Pure FP on the JVM
2. hi i’m @jyothsnasrin I UX ∩ PLs
3. What constitutes a Programming Language? Core Language Community PL Tooling
4. Core Language Community PL Tooling • Statically vs Dynamically Typed • FP vs OOP • Native vs Virtual Machine • Semicolons vs Indentation Core Language
5. • Package Manager • IDE Support • Error Messages • Trace bugs Tooling Core Language Community PL Tooling
6. Community Core Language Community PL Tooling • Documentation • Libraries • Reddit and Twitter • Active Chat Rooms
7. Human Beings Core Language Community PL Developer Tooling
8. User Experience Core Language Community PL User Experience Developer Tooling
9. Eta Overview • Glasgow Haskell Compiler • Java Virtual Machine • Haskell packages • Industrial use
10. Core Language Community Tooling PL
11. Core Language Community Tooling PL
12. Core Language • Purity • Lazy • Typed • FFI
13. Purity A pure function always returns back the same output for a given input
14. Purity
15. Refactor fearlessly!
16. Laziness A lazy language will only evaluate an expression when absolutely required to move on with the rest of the program.
18. Strict Evaluation
19. Lazy Evaluation
20. Lazy Evaluation
21. Practical Laziness
22. Let the data flow fix the order!
23. Types Types are labels for data in your program so that you can describe precisely what your functions are doing.
24. Base Types
25. Function Types
26. IO Type
27. Shift runtime errors to compile time!
28. Java Interop We need a way to interact with Java that plays nicely with Eta’s features.
29. Java Code Sample
30. Java Interop - Imports
31. Java Interop - JWT
32. Java Interop - FFI
33. Java Interop Example
34. Direct Java Interop #647
35. Interop with Java securely!
36. Core Language Community Tooling PL
37. Tooling • Error Messages • Installation Methods • IDE Support • Etlas • Debugging • Java to Eta Code
38. Error Messages
39. Installation Methods
40. IDE Support
41. Etlas • Version Control • Hash based dependency management
42. Version Control
43. Dependency Management
44. Debugging
45. Java to Eta code #869
46. Java Code Eta Code Java to Eta code
47. Java Code Eta Code Java to Eta code
48. Java Code Eta Code Java to Eta code
49. Java Code Eta Code Java to Eta code
50. Tool to convert Java to Eta code!
51. Core Language Community Tooling PL
52. Community • Documentation • Tutorials • Chat Rooms • Social Media
53. Documentation
54. Tutorials
55. Chat Rooms
56. Social Media
57. The Future Direct Java Interop IDE Support Documentation
58. Emotional Experience
59. Cross Platform in Eta Native App JVM App Android App
60. Game Logic Graphics API Game Logic Cross Platform in Eta
61. Native App JVM App Android App Same Game Logic but different Graphics API Cross Platform in Eta
62. Thank you :)