checkmate VS hoogle

checkmate

We haven't tracked posts mentioning checkmate yet.
Tracking mentions began in Dec 2020.

hoogle

• The Hunt for the Missing Data Type
  10 projects | news.ycombinator.com | 4 Mar 2024
• SQL Join Flavors
  1 project | news.ycombinator.com | 22 Sep 2023
• What Is Dimensional Analysis?
  2 projects | news.ycombinator.com | 15 Sep 2023

  Dimensions behave somewhat like a "type system" for math. These dimensional-analysis tricks act like the trick you see in Haskell sometimes, where you can easily guess an implementation of an expression once you know it's type (or e.g. search by type signature https://hoogle.haskell.org/ )

• Do you miss dot-completion when coding in Haskell?
  1 project | /r/haskell | 8 Jun 2023

  Haskell Spotlight makes vscode a client for hoogle. It isn't too different than jumping into your browser and type https://hoogle.haskell.org/. The main advantage is that you have everything in one place

• dear ZVON.org owner, please take your haskell references down
  1 project | /r/haskell | 8 Jun 2023

  https://hackage.haskell.org/package/base and https://hoogle.haskell.org are automatically up to date and better searchable than almost any other reference of any other programming language. maintaining a redundant reference that needs to be kept up to date manually is simply stupid.

• Java 20 Is Out
  4 projects | news.ycombinator.com | 21 Mar 2023

  Ideally like this: https://zio.dev/reference/#concurrency

  Or this: https://hoogle.haskell.org/?hoogle=fork

• Noob Question about Symbols after Class propertys.
  1 project | /r/typescript | 6 Mar 2023

  And yeah I get it, it's hard to Google for punctuation operators in languages because it doesn't give useful search results (but not impossible, for example, Haskell has a search engine for documentation that handles symbols/punctuation).

• uh, got it. thanks Bing
  1 project | /r/ProgrammerHumor | 6 Mar 2023
• Haskell IDE setup
  3 projects | /r/haskell | 24 Feb 2023

  { "customLocalFormatters.formatters": [ { "command": "make format", "languages": ["haskell"] } ], "emeraldwalk.runonsave": { "commands": [ { "match": "*.hs", "isAsync": true, "cmd": "make retag retag_file=${file}" } ] }, "ghcid.command": "make ghcid", "goto-documentation.customDocs": { "hs": "https://hoogle.haskell.org/?hoogle=${query}" } }

• Idris: A Language for Type-Driven Development
  4 projects | news.ycombinator.com | 20 Jan 2023

  You had a look at Hoogle?

  https://hoogle.haskell.org/

  For some type signatures there is (are) only one (or only a few) meaningful implementation(s).