Meta tags:
description=Blog Index;
keywords=software development, functional programming, haskell, cardano, plutus;

Headings (most frequently used words):

javier, casas, last, entries, random, walk, through, computer, science,

Text of the page (most frequently used words):
2019 (15), the (7), react (6), 2020 (6), 2018 (5), typescript (5), common (4), redux (4), 2023 (3), #javier (3), casas (3), good (3), plutus (3), and (3), types (3), for (3), functional (3), programming (3), with (3), mistakes (3), book (2), review (2), smart (2), contracts (2), understanding (2), little (2), prover (2), how (2), patterns (2), microservices (2), your (2), typechecking (2), you (2), copyright, all, rights, reserved, connecting, haskell, backend, purescript, frontend, 2017, deconstructing, sayings, craftsman, never, blames, his, tools, axioms, war, art, tyranny, new, keyword, cardano, versus, tests, two, approaches, writing, correct, software, pay, ada, sat, solving, sample, scheduler, codata, action, connect, object, oriented, core, imperative, shell, sensible, path, improving, adts, using, make, invalid, states, irrepresentable, state, transitions, app, constructing, generic, data, loader, component, rule, seven, overload, brain, programmer, reason, correctness, afterthought, type, families, dependent, code, equivalences, from, beginner, intermediate, advanced, hooks, context, have, deal, consequences, monolith, 2021, managing, concurrency, javascript, 2022, balanced, binary, trees, sometimes, prolog, can, think, last, entries, contact, about, portfolio, blog, index, random, walk, through, computer, science,

Text of the page (random words):
javier casas javier casas a random walk through computer science blog index portfolio cv about contact last entries 2023 09 25 sometimes prolog can think for you 2023 03 08 understanding balanced binary trees 2022 11 02 managing concurrency in javascript 2021 04 03 you have to deal with the consequences of microservices in your monolith 2020 11 25 react hooks context patterns 2020 05 28 3 common advanced react redux mistakes 2020 05 27 3 common intermediate react redux mistakes 2020 05 26 3 common beginner react redux mistakes 2020 03 21 code equivalences from the little prover 2020 03 14 dependent types in typescript 2019 12 08 type families in typescript 2019 10 22 types and correctness as an afterthought 2019 08 12 the rule of seven how to overload the brain of a programmer for no good reason 2019 07 25 constructing a generic data loader component with good typechecking in typescript 2019 07 12 typechecking state transitions in a react redux app 2019 07 07 using typescript to make invalid states irrepresentable 2019 07 01 improving your react with typescript adts 2019 06 25 sensible path to microservices 2019 06 18 patterns of functional programming functional core imperative shell 2019 05 24 codata in action or how to connect functional programming and object oriented programming 2019 05 22 sat solving a sample scheduler 2019 04 22 book review the little prover 2019 04 09 plutus smart contracts ii pay 10 in ada 2019 03 12 types versus tests two approaches for writing correct software 2019 03 05 plutus smart contracts i understanding cardano and plutus 2018 11 27 the tyranny of the new keyword i 2018 11 26 book review war of art 2018 11 12 axioms 2018 11 11 deconstructing common sayings i a good craftsman never blames his tools 2017 07 20 connecting a haskell backend to a purescript frontend copyright 2018 2023 javier casas all rights reserved