Typed web work becomes interesting when the renderer, the route table, and the prose all live in one checked program. This site is written in Idris and rendered through IWF, with page sources in direct HTML syntax.
The practical win is small but sharp: links are generated from route values, request handlers have exact input types, and the published page is still ordinary HTML. No client framework must exist for the first screen to be useful.
Flat brutalism works well for systems writing because it keeps hierarchy visible without pretending every panel is a physical object.
htmlPostRoute = get "/posts/{slug}" |> params PostInput |> htmlThe route value above is not decoration. It is the source for dispatch and for every internal article link on this page.