fsm-and-formal-specification.md

• !!! https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
• !!! https://www.reaktor.com/blog/fear-trust-and-javascript/
• https://medium.com/unsplash/strongly-typed-finite-state-machines-with-redux-and-typescript-3aac2b0332f5
• https://fsharpforfunandprofit.com/posts/designing-with-types-representing-states/
• https://github.com/davidkpiano/xstate
• https://github.com/eonarheim/TypeState
• https://blogs.itemis.com/en/a-brief-overview-of-state-machine-types
• https://sketch.systems/
• https://www.hillelwayne.com/post/formally-specifying-uis/
• https://github.com/eonarheim/TypeState
• https://github.com/raphaelfeng/typescript-state-machine
• http://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/resources/statecharts.pdf
• Model Checking of Statechart Models Survey and Research Directions
• https://medium.com/imandra/verifying-reasonreact-component-logic-reasonml-imandra-e350d4812a9f

Schemas

• https://github.com/jquense/yup

interesting ideas on React

• https://refract.js.org/introduction/alternatives
• https://twitter.com/jamiebuilds/status/1037423528436350977
• https://github.com/jamiebuilds/renderator
• https://github.com/philipp-spiess/react-recomponent
• https://github.com/reactions/component
• https://github.com/rematch/rematch#getting-started
• https://reakit.io/guide/as
• https://github.com/ianstormtaylor/react-values
• https://react-fns.netlify.com/docs/en/api.html#windowsize-render
• https://github.com/acdlite/recompose/blob/master/docs/API.md
• https://ui.reach.tech/
• https://medium.freecodecamp.org/introducing-rekit-studio-a-real-ide-for-react-and-redux-development-baf0c99cb542

composability

• https://reactpatterns.com/#layout-component
• https://cdb.reacttraining.com/use-a-render-prop-50de598f11ce = https://reactjs.org/docs/render-props.html

other

• https://vx-demo.now.sh/
• https://www.react-simple-maps.io/
• https://github.com/lingui/js-lingui
• https://potion.js.org/element/

lightweight-alternatives.md

• https://reach.tech/router
• https://github.com/ganemone/react-redux-lite
• https://github.com/tizmagik/react-head

other.md

• !! https://www.reaktor.com/blog/fear-trust-and-javascript/

TypeScript vs Flow

• https://codeburst.io/inference-engines-5-examples-with-typescript-flow-and-reason-edef2f4cf2d3
• https://github.com/piotrwitek/utility-types#readonlyt
• niieani/typescript-vs-flowtype#28
• stereobooster/type-o-rama#4
• stereobooster/type-o-rama#4

Lenses

• https://github.com/facebookincubator/idx
• https://github.com/developit/dlv
• https://github.com/gcanti/monocle-ts
• https://github.com/utatti/lens.ts
• calmm-js/partial.lenses#55
• https://github.com/gcanti/profunctor-lenses-ts
• https://github.com/atomicobject/lenses

Promsise

• https://aantron.github.io/repromise/docs/DesignFAQ#why-are-js-promises-not-type-safe
• rescript-lang/rescript-compiler#2345

Logic

Soundness, completeness, decidability, totality, idempotence, referential transperancy, immutability

• https://gist.github.com/busypeoples

Sets, types, categories

• https://www.andrew.cmu.edu/user/awodey/preprints/stcsFinal.pdf
• http://www.cse.chalmers.se/~bengt/papers/hlcs.pdf
• http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf
• https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf
• https://math.stackexchange.com/questions/489369/difference-between-a-type-and-a-set

nominal vs structural

• https://gist.github.com/stereobooster/20616c7e1f123ee690a8f316de2a707b/edit

redux-and-side-effects.md

• reduxjs/redux#1528
• https://redux.js.org/faq/actions#how-can-i-represent-side-effects-such-as-ajax-calls-why-do-we-need-things-like-action-creators-thunks-and-middleware-to-do-async-behavior
• https://github.com/salsita/redux-side-effects
• https://github.com/redux-effects/redux-effects