René's URL Explorer Experiment


Title: Archives :: Reasonably Polymorphic

direct link

Domain: reasonablypolymorphic.com

NoneIE=edge,chrome=1

Links:

Archiveshttps://reasonablypolymorphic.com/index.html
An Algebraic Theory of Musichttps://reasonablypolymorphic.com/blog/more-algebraic-music
Struggling Towards an Algebraic Theory of Musichttps://reasonablypolymorphic.com/blog/algebraic-music
Arrows to Arrows, Categories to Querieshttps://reasonablypolymorphic.com/blog/arrows-to-arrows
Theorems for Free Reduxhttps://reasonablypolymorphic.com/blog/theorems-for-free-redux
Analyzing API Design via Algebraic Lawshttps://reasonablypolymorphic.com/blog/api-analysis
Using Obscure Graph Theory to solve PL Problemshttps://reasonablypolymorphic.com/blog/solving-lcsa
Bidirectional Instance Contextshttps://reasonablypolymorphic.com/blog/bidirectional-instance-contexts
Use Monoids for Constructionhttps://reasonablypolymorphic.com/blog/use-monoids
A New Perspective on Lenseshttps://reasonablypolymorphic.com/blog/code-lenses
Read the Code, Not the Profilehttps://reasonablypolymorphic.com/blog/read-the-code
Jujutsu Strategieshttps://reasonablypolymorphic.com/blog/jj-strategy
FRP in Yampa: Part 4: Routinghttps://reasonablypolymorphic.com/blog/yampa-routing
FRP in Yampa: Part 3: Switchinghttps://reasonablypolymorphic.com/blog/yampa-switching
FRP in Yampa: Part 2: Arrowized FRPhttps://reasonablypolymorphic.com/blog/arrowized-frp
FRP in Yampa: Part 1https://reasonablypolymorphic.com/blog/yampa-frp
Certainty by Construction: Done!https://reasonablypolymorphic.com/blog/certainty-by-construction
Certainty by Construction Progress Report 10https://reasonablypolymorphic.com/blog/cbc-report10
Certainty by Construction Progress Report 9https://reasonablypolymorphic.com/blog/cbc-report9
Certainty by Construction Progress Report 8https://reasonablypolymorphic.com/blog/cbc-report8
Certainty by Construction Progress Report 7https://reasonablypolymorphic.com/blog/cbc-report7
Certainty by Construction Progress Report 6https://reasonablypolymorphic.com/blog/cbc-report6
Certainty by Construction Progress Report 5https://reasonablypolymorphic.com/blog/cbc-report5
Certainty by Construction Progress Report 4https://reasonablypolymorphic.com/blog/cbc-report4
Certainty by Construction Progress Report 3https://reasonablypolymorphic.com/blog/cbc-report3
Certainty by Construction Progress Report 2https://reasonablypolymorphic.com/blog/cbc-report2
Certainty by Construction Progress Report 1https://reasonablypolymorphic.com/blog/cbc-report1
The Co-Blub Paradoxhttps://reasonablypolymorphic.com/blog/coblub
Abusing Constraints for Automatic Documentationhttps://reasonablypolymorphic.com/blog/abusing-constraints
Why Is the Web So Monotonous? Google.https://reasonablypolymorphic.com/blog/monotonous-web
Review: Proof-Carrying Codehttps://reasonablypolymorphic.com/blog/proof-carrying-code
Review: Syntax-Guided Synthesishttps://reasonablypolymorphic.com/blog/syntax-guided-synthesis
Review: Generic Parallel Functional Programminghttps://reasonablypolymorphic.com/blog/generic-parallel-fp
Review: Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structureshttps://reasonablypolymorphic.com/blog/complexity-analysis
Review: A Very Elementary Introduction to Sheaveshttps://reasonablypolymorphic.com/blog/review-sheafs
Automatic Ring Solvinghttps://reasonablypolymorphic.com/blog/ring-solving
Review: Codata in Actionhttps://reasonablypolymorphic.com/blog/review-codata
Followup to Sorting with Bialgebrashttps://reasonablypolymorphic.com/blog/bialgebra-followup
Review: Sorting with Bialgebras and Distributive Lawshttps://reasonablypolymorphic.com/blog/bialgebras
Underlining the Bugshttps://reasonablypolymorphic.com/blog/underline-bugs
Review: Copatternshttps://reasonablypolymorphic.com/blog/review-copatterns
Review: Clowns to the Left of Me, Jokers to the Righthttps://reasonablypolymorphic.com/blog/clowns-jokers
Automating Wordlehttps://reasonablypolymorphic.com/blog/wordle
Review: Shall We Vote on Values, But Bet on Beliefs?https://reasonablypolymorphic.com/blog/review-futarchy
Review: Adders and Arrowshttps://reasonablypolymorphic.com/blog/adders-and-arrows
Automatically Migrating Eq of No (/=)https://reasonablypolymorphic.com/blog/comby
Dragging Haskell Kicking and Screaming into the Century of the Fruitbathttps://reasonablypolymorphic.com/blog/century-of-the-fruitbat
Proving Commutativity of Polysemy Interpretershttps://reasonablypolymorphic.com/blog/proving-commutativity
Proving Equivalence of Polysemy Interpretershttps://reasonablypolymorphic.com/blog/proving-equivalence
Testing Polysemy With polysemy-checkhttps://reasonablypolymorphic.com/blog/polysemy-check
Porting to Polysemyhttps://reasonablypolymorphic.com/blog/porting-to-polysemy
Exploring Case Lawhttps://reasonablypolymorphic.com/blog/exploring-case-law
I Built a Terrible Roombahttps://reasonablypolymorphic.com/blog/roomba
Haskell in the Real Worldhttps://reasonablypolymorphic.com/blog/3d-printing
Separate Your Views; Reify Your Reasoninghttps://reasonablypolymorphic.com/blog/separate-your-views-reify-your-reasoning
Towards Tactic Metaprogramming in Haskellhttps://reasonablypolymorphic.com/blog/towards-tactics
Algebra-Driven Designhttps://reasonablypolymorphic.com/blog/algebra-driven-design
Polysemy: Mea Culpahttps://reasonablypolymorphic.com/blog/mea-culpa
A Working Linux DAWhttps://reasonablypolymorphic.com/blog/linux-daw
Low-Tech AST Extensibility with Extension Patternshttps://reasonablypolymorphic.com/blog/extension-patterns
Haskell2020 Is Dead, but All Hope Is Not Losthttps://reasonablypolymorphic.com/blog/haskell202x
New Book: Design and Interpretation of Haskell Programshttps://reasonablypolymorphic.com/blog/design-and-interpretation
Nimic: A language about nothinghttps://reasonablypolymorphic.com/blog/nimic
How I Intend to Help Steer GHChttps://reasonablypolymorphic.com/blog/steering
Polysemy Internals: The Effect-Interpreter Effecthttps://reasonablypolymorphic.com/blog/tactics
Implement With Types, Not Your Brain!https://reasonablypolymorphic.com/blog/typeholes
Polysemy Internals: Freer Interpretations of Higher-Order Effectshttps://reasonablypolymorphic.com/blog/freer-higher-order-effects
Faking Fundeps with Typechecker Pluginshttps://reasonablypolymorphic.com/blog/faking-fundeps
Writing Custom Optimization Passeshttps://reasonablypolymorphic.com/blog/writing-custom-optimizations
GHC's Specializer: Much More Than You Wanted to Knowhttps://reasonablypolymorphic.com/blog/specialization
Announcing Polysemyhttps://reasonablypolymorphic.com/blog/polysemy
Freer, yet Too Costly Higher-order Effectshttps://reasonablypolymorphic.com/blog/freer-yet-too-costly
Freer Monads: Too Fast, Too Freehttps://reasonablypolymorphic.com/blog/too-fast-too-free
Freer Monads, More Better Programshttps://reasonablypolymorphic.com/blog/freer-monads
How to Write Technical Posts (so people will read them)https://reasonablypolymorphic.com/blog/writing-technical-posts
Thinking with Typeshttps://reasonablypolymorphic.com/blog/thinking-with-types
Protobuffers Are Wronghttps://reasonablypolymorphic.com/blog/protos-are-wrong
Gauging Interest in a Type-Level Programming Bookhttps://reasonablypolymorphic.com/blog/book-of-types
Static Analysis of Free Monadshttps://reasonablypolymorphic.com/blog/prospecting-free-monads
Coercions and Roles for Dummieshttps://reasonablypolymorphic.com/blog/roles
Performance and Feature Case Studies in Ecstasyhttps://reasonablypolymorphic.com/blog/ecstasy-case-study
Follow the Denotationhttps://reasonablypolymorphic.com/blog/follow-the-denotation
Algorithmically Scrapping Your Typeclasseshttps://reasonablypolymorphic.com/blog/algorithmic-sytc
HKD: Less Terrible than You Might Expecthttps://reasonablypolymorphic.com/blog/hkd-not-terrible
Free Lenses for Higher-Kinded Datahttps://reasonablypolymorphic.com/blog/free-lenses
Higher-Kinded Datahttps://reasonablypolymorphic.com/blog/higher-kinded-data
Devlog: Navigationhttps://reasonablypolymorphic.com/blog/navigation
Devlog: Action Menus, Timers and Hit Detectionhttps://reasonablypolymorphic.com/blog/action-menus
Why Take Ecstasyhttps://reasonablypolymorphic.com/blog/why-take-ecstasy
Devlog: Starting a Game Enginehttps://reasonablypolymorphic.com/blog/starting-a-game-engine
Gentle Theorems: Difference of Squareshttps://reasonablypolymorphic.com/blog/difference-of-squares
Type-Directed Code Generationhttps://reasonablypolymorphic.com/blog/type-directed-code-generation
Review: Bananas, Lenses, Envelopes and Barbed Wirehttps://reasonablypolymorphic.com/blog/recursion-schemes
Modeling Musichttps://reasonablypolymorphic.com/blog/modeling-music
Review: Information Effectshttps://reasonablypolymorphic.com/blog/information-effects
Review: Theorems for Freehttps://reasonablypolymorphic.com/blog/theorems-for-free
Don't Eff It Uphttps://reasonablypolymorphic.com/blog/dont-eff-it-up
Comonadic Collision Resolutionhttps://reasonablypolymorphic.com/blog/comonadic-physics
Book Announcementhttps://reasonablypolymorphic.com/blog/book-announcement
Better Data Types a la Cartehttps://reasonablypolymorphic.com/blog/better-data-types-a-la-carte
An Existential Crisishttps://reasonablypolymorphic.com/blog/existentials
Constructing a Comonadhttps://reasonablypolymorphic.com/blog/coiter
Zap as the Machinery of Program Reductionhttps://reasonablypolymorphic.com/blog/zap
Wake Up and Smell the Cofree Comonadshttps://reasonablypolymorphic.com/blog/cofree-comonads
Towards Procedurally Generated Stories via Free Monadshttps://reasonablypolymorphic.com/blog/free-stories
Elm Is Wronghttps://reasonablypolymorphic.com/blog/elm-is-wrong
Of Ideas and Menhttps://reasonablypolymorphic.com/blog/ideas-and-men
How I Learned to Stop Worrying and Love the Type Systemhttps://reasonablypolymorphic.com/blog/love-types
REASONABLYPOLYMORPHIChttps://reasonablypolymorphic.com/
Archiveshttps://reasonablypolymorphic.com/blog/archives/
Talkshttps://reasonablypolymorphic.com/talks
githubhttp://github.com/isovector
writtenhttps://leanpub.com/u/sandy-maguire
bloghttp://sandymaguire.me
goodreadshttps://www.goodreads.com/review/list/14945161-sandy-maguire?shelf=currently-reading
REASONABLY POLYMORPHIChttps://reasonablypolymorphic.com/
ARCHIVEShttps://reasonablypolymorphic.com/blog/archives/
URLs of crawlers that visited me.