René's URL Explorer Experiment

    {
        "@context": "https://schema.org",
        "@graph": [
            {
                "@type": "WebSite",
                "@id": "https://arcanist.sh/#website",
                "url": "https://arcanist.sh",
                "name": "arcanist.sh",
                "description": "Haskell tooling for the age of AI-authored code: hx, a fast Rust-based package manager, and BHC, a verifying compiler. When generation is cheap, correctness must be checkable.",
                "publisher": {
                    "@id": "https://arcanist.sh/#organization"
                },
                "inLanguage": "en"
                
            },
            {
                "@type": "Organization",
                "@id": "https://arcanist.sh/#organization",
                "name": "arcanist.sh",
                "url": "https://arcanist.sh"
                ,
                "sameAs": [
                    
                    "https://github.com/arcanist-sh",
                    
                    "https://x.com/raskell_io"
                    
                ]
                
                ,
                "logo": {
                    "@type": "ImageObject",
                    "url": "https://arcanist.sh/img/og-image.png",
                    "width": 1200,
                    "height": 630
                }
                
            },
            {
                "@type": "WebPage",
                "@id": "https://arcanist.sh//#webpage",
                "url": "https://arcanist.sh/",
                "name": "arcanist.sh",
                "isPartOf": {
                    "@id": "https://arcanist.sh/#website"
                },
                "about": {
                    "@id": "https://arcanist.sh/#organization"
                },
                "description": "Haskell tooling for the age of AI-authored code: hx, a fast Rust-based package manager, and BHC, a verifying compiler. When generation is cheap, correctness must be checkable.",
                "inLanguage": "en"
                
                
            }
            
        ]
    }
    

{
    "@context": "https://schema.org",
    "@graph": [
        
        {
            "@type": "SoftwareApplication",
            "@id": "https://arcanist.sh/hx/#software",
            "name": "hx",
            "description": "An extremely fast Haskell package and project manager. Build, test, run, format, lint, and publish — all in one tool with managed toolchains.",
            "url": "https://arcanist.sh/hx/",
            "applicationCategory": "DeveloperApplication",
            "operatingSystem": "Linux, macOS, Windows",
            "author": { "@id": "https://arcanist.sh/#organization" },
            "offers": {
                "@type": "Offer",
                "price": "0",
                "priceCurrency": "USD"
            },
            "license": "https://opensource.org/licenses/MIT",
            "programmingLanguage": "Rust"
            ,
            "featureList": [
                
                "Unified build, test, run, format, lint",
                
                "Managed GHC & BHC toolchains",
                
                "Deterministic TOML lockfiles",
                
                "Steel (Scheme) plugin system"
                
            ]
            
        },
        
        {
            "@type": "SoftwareApplication",
            "@id": "https://arcanist.sh/bhc/#software",
            "name": "BHC",
            "description": "An alternative Haskell compiler with runtime profiles, WASM targets, tensor-native numerics, and structured concurrency. GHC-compatible and drop-in for most packages.",
            "url": "https://arcanist.sh/bhc/",
            "applicationCategory": "DeveloperApplication",
            "operatingSystem": "Linux, macOS, Windows",
            "author": { "@id": "https://arcanist.sh/#organization" },
            "offers": {
                "@type": "Offer",
                "price": "0",
                "priceCurrency": "USD"
            },
            "license": "https://opensource.org/licenses/MIT",
            "programmingLanguage": "Rust"
            ,
            "featureList": [
                
                "Runtime profiles: default, server, numeric, edge",
                
                "Multiple targets: native, WASI, WASM",
                
                "Tensor-native numerics & structured concurrency",
                
                "GHC-compatible, drop-in for most packages"
                
            ]
            
        }
        
    ]
}

{
    "@context": "https://schema.org",
    "@type": "FAQPage",
    "mainEntity": [
        
        {
            "@type": "Question",
            "name": "Why Haskell in 2026?",
            "acceptedAnswer": {
                "@type": "Answer",
                "text": "Haskell has been called niche for thirty years, but that framing assumes humans write all the code. When AI writes most of it, the language that wins is the one where correctness is checkable — where types are proofs and the compiler is the proof checker. Haskell is not niche in that framing. It is early."
            }
        },
        
        {
            "@type": "Question",
            "name": "Why build a Haskell toolchain in Rust?",
            "acceptedAnswer": {
                "@type": "Answer",
                "text": "A toolchain should not share its dependencies with the thing it manages. Haskell's tooling problems are partly caused by tooling written in Haskell, which creates bootstrap problems and long compile times. A Rust binary starts in milliseconds, ships as a single static executable, and cross-compiles trivially. We write the tooling in Rust, but we think in Haskell."
            }
        },
        
        {
            "@type": "Question",
            "name": "What is BHC, and how is it different from GHC?",
            "acceptedAnswer": {
                "@type": "Answer",
                "text": "BHC, the Basel Haskell Compiler, is a clean-slate compiler for Haskell. It compiles the same language with the same type safety, but adds runtime profiles — default, server, numeric, edge, realtime, and embedded — each with a different performance contract, selected by a single flag. It aims to be GHC-compatible and drop-in for most packages."
            }
        },
        
        {
            "@type": "Question",
            "name": "Is this just speculation about AI?",
            "acceptedAnswer": {
                "@type": "Answer",
                "text": "No. The thesis is grounded in shipped tooling. hx delivers 5.6x faster cold builds and deterministic lockfiles today, and both hx and BHC were themselves built with AI coding agents. The thesis tested itself during its own construction."
            }
        },
        
        {
            "@type": "Question",
            "name": "What if you are wrong, and Haskell never revives?",
            "acceptedAnswer": {
                "@type": "Answer",
                "text": "We have a conviction, not a crystal ball. Even if the broader bet does not land, the work stands on its own: fast Rust-based tooling, deterministic builds, runtime profiles, and structured, machine-readable errors are valuable for any Haskell project today."
            }
        },
        
        {
            "@type": "Question",
            "name": "If AI writes the code, what do humans do?",
            "acceptedAnswer": {
                "@type": "Answer",
                "text": "We define constraints. We shape intent. We evaluate outcomes. The unit of work becomes the obligation, not the function — closer to architecture than to authorship. The compiler still has to verify the result, and Haskell makes that verification load-bearing."
            }
        },
        
        {
            "@type": "Question",
            "name": "Is arcanist.sh open source?",
            "acceptedAnswer": {
                "@type": "Answer",
                "text": "Yes. Every tool in the ecosystem — the hx toolchain and the BHC compiler — is MIT-licensed and developed in public on GitHub, with open issues, roadmaps, and design decisions."
            }
        },
        
        {
            "@type": "Question",
            "name": "How do I get started?",
            "acceptedAnswer": {
                "@type": "Answer",
                "text": "Install hx, pick your compiler, and build. hx manages the toolchain, resolves dependencies, and drives builds, while BHC is available as a compiler backend. See the documentation to set up your first project."
            }
        }
        
    ]
}