jsjs
play

JSJS A Strongly Typed Language for the Web Ayush Jain Gaurang - PowerPoint PPT Presentation

Jan 12, 2023 •529 likes •768 views

JSJS A Strongly Typed Language for the Web Ayush Jain Gaurang Sadekar Bahul Jain Prakhar Srivastav Just another day in the Javascript world Feature JSJS JS Type Safety Type Inference Why JSJS? Immutable

  1. JSJS A Strongly Typed Language for the Web Ayush Jain · Gaurang Sadekar · Bahul Jain · Prakhar Srivastav

  2. Just another day in the Javascript world

  3. Feature JSJS JS Type Safety � � Type Inference � � Why JSJS? Immutable values � � How does JSJS compare to JS? Immutable Collections � � Programming Style Functional Imperative Works with Node � � Works in the browser � �

  4. A Sneak Peak - Syntax

  5. A Sneak Peak - Syntax

  6. Functional Programming Functions everywhere...

  7. Closures Local value for a function - kept alive after function has returned

  8. Error Handling Error Reporting Exceptions and Exception Handling

  9. Immutability Immutability makes it easier to reason about code ● The val keyword defines a value. No variables in JSJS. ● Names cannot be redefined in the current scope ●

  10. Immutable Collections - Lists & Maps Uses Facebook’s Immutable.js library to enforce immutability. ● All library functions written is JSJS. ●

  11. Immutable Collections - Lists All functions return new lists (do not modify the list in place) List Collection Library hd, tl, empty?, filter, map, fold_left, rev, iter, range, concat, insert, remove, sort, nth, length

  12. Immutable Collections - Map All functions return a new map (do not modify the map in place) Map Collection Library get, set, has?, length, values, keys, count, merge, del

  13. JSJS Type System T(_) is a generic type that helps with type Inference or generic user annotations. TAny is only used for type inference. TNum, TBool, TUnit, TString are data types. TFun is the function type comprising of args (list of primitives) and a return type. TList and TMap are composite List and Map types

  14. Type Inference - Our ‘Inspiration’

  15. Type Inference - JSJS vs OCaml JSJS OCaml

  16. Type Inference - JSJS vs OCaml JSJS OCaml

  17. Type Inference with user annotations

  18. Type Errors - JSJS vs OCaml JSJS OCaml

  19. Type Errors - JSJS vs OCaml JSJS OCaml

  20. Demo

  21. What next? Tuples ➔ Option Type ➔ Pattern Matching ➔ Javascript FFI ➔ Line Number Error Reporting ➔

  22. Thank You So long, and thanks for all the fish.

Recommend

More recommend