Skip to content

Latest commit

 

History

History
36 lines (26 loc) · 2.11 KB

online-examples.md

File metadata and controls

36 lines (26 loc) · 2.11 KB

Online Examples

Vite-Plugin-SSR

The vite-plugin-ssr forms the foundations of all the sample programs.

See Type-Czech Working in Online Ajax Program

The Run Time Type Checking Square Root Finder, 150 seconds to start on free hosting, verifies that live aysnc server calls have correct number types. The types checked for are 'Roman Numerals', 'Word Numbers', 'Floats', and 'Integers'. So when the Roman square root of 'MCDXLIV' is processed, resulting in 'xxxviii', there are no type errors printed in the console. But when 'ypE', or 3025, is entered, an error is generated in the console.log because 'Greek Numerals' are not supported. So instead of seeing 'VE', or 55, as the square root of 3025, the server does not respond to non-supported number types and a non-response fetch type check error is displayed in the console.

Type-czech-always-on

A square root finder using Vite, https://type-czech-always-on.onrender.com/ slow to start free Render.com site, which uses the four types of "Roman-Numbers", "Word-Numbers", "Floats", and "Integers". Type checking errors can easily be constructed, turned on or off, and are viewable in a grey dialog. https://github.com/steenhansen/type-czech-always-on

Type-czech-phone-Recipes

Another Vite example, https://phone-recipes.herokuapp.com/, which uses TypeCzech in development to

  • Type check the paremeters and results of MongoDB calls in Node.js, GitHub File
  • Type check the parameters of JSX SSR functions in Node.js and browser, GitHub File
  • Type check parameters and results of Ajax routines in the browser, GitHub File