dhall
hoogle
Our great sponsors
dhall | hoogle | |
---|---|---|
10 | 60 | |
897 | 714 | |
0.4% | - | |
7.3 | 6.3 | |
17 days ago | about 2 months ago | |
Dhall | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
dhall
-
Why Functional Programming Should Be the Future of Software
```
If you mean installing Dhall's dependencies (https://github.com/dhall-lang/dhall-haskell/blob/master/dhal...), those aren't too crazy, but they're definitely not all "beginner level". Template Haskell in particular is quite heavyweight.
-
Dhall: A Gateway Drug to Haskell
Ok, lets be specific. Lets write a comment to explain this function:
https://github.com/dhall-lang/dhall-haskell/blob/master/dhal...
-
Nix: An idea whose time has come
I haven't tried it but apparently you can compile to Nix from Dhall:
> You can use this compiler to program Nix using the Dhall language. This package targets people who wish Nix had a type system.
https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...
- Usage Of Cryptonite Library In GHCJS
-
How to Learn Nix
If the problem is the syntax and people wants some other format that compiles to nix, there's dhall
https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...
https://www.haskellforall.com/2017/01/typed-nix-programming-...
Dhall is a generic config language with some programming capabilities (but not turing complete) that can compile to json, yaml, and other formats, like in this instance nix.
-
Google Summer of Code Summary: Dhall bindings to CSV
For my GSoC project, I built from scratch the dhall-csv package on the Dhall Haskell implementation Github Repository. Said package provides two executables, dhall-to-csv (which converts Dhall files into CSV files) and csv-to-dhall (which converts CSV files into Dhall files). It also provides Haskell libraries with the functions that translate bidirectionally between Dhall and CSV.
-
Wuffs the Language
> If you add constraints (like not being able to feed the program to itself as is done in the halting problem and not allowing unbounded loops) then it is possible to determine if a program will terminate or not.
Dhall is a good example - https://github.com/dhall-lang/dhall-haskell .
-
INTERCAL, YAML, And Other Horrible Programming Languages
See also https://dhall-lang.org/
-
Common Nginx misconfigurations that leave your web server open to attack
That just seems like an even greater nightmare to me. Soon you would have to learn to read and understand a custom program in a Turing-complete language for each and every installation.
The proper solution is a DSL, just a better DSl. Or perhaps a DSL embedded in something like dhall <https://dhall-lang.org/>, but definitely not a general-purpose programming language.
hoogle
- The Hunt for the Missing Data Type
-
What Is Dimensional Analysis?
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/ )
-
Java 20 Is Out
Ideally like this: https://zio.dev/reference/#concurrency
-
Haskell IDE setup
{ "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
You had a look at Hoogle?
For some type signatures there is (are) only one (or only a few) meaningful implementation(s).
-
Haskell is the one of the most hardest code
I'm in the middle on operators. I like being able to define my own, but I understand how it's challenging to figure out what the hieroglyphics mean when you're not familiar with them. https://hoogle.haskell.org/ can be a help here
-
What’s so great about functional programming anyway?
> In something like Haskell I need to know upfront what I may do with some "object". The IDE can't help me discover the methods I need. All it can do is to show me all available functions in scope.
Sorry, but this just isn't true. Hoogle <https://hoogle.haskell.org/> searches function by type, fuzzily: ask for functions whose first parameter is the type of the object-like thing, and you'll get just what you're looking for. And it's perfectly possible to run hoogle locally and integrate it with your editor.
Now, the tooling for a language like Java have had several centuries more of aggregate development work done on them compared to Haskell's tools, and if that polish is a difference-maker for you, that's fine! But it's not a fundamental limitation, and claiming it is is just fud.
-
Type-Signature.com
In my perusals into the Haskell ecosystem, discovering Hoogle[1] was definitely a revelation on the power of a strongly-typed language. Sometimes, you know the _shape_ of the thing you are looking for, but not the name. The ability to search a repository of packages for all functions conforming to a certain type signature (e.g., (a -> Bool) -> [a] -> [a]) is a superpower.
which is quite a bit more readable. You can even search Hoogle for x -> HashMap x y -> y and find it, try it!
https://hoogle.haskell.org/?hoogle=x%20-%3E%20HashMap%20x%20...
-
What Operators Do You WISH Programming Languages Had? [Discussion]
Haskell has hoogle, which searches Hackage for functions matching names, type signatures, etc.
What are some alternatives?
accelerate - Embedded language for high-performance array computations
accelerate-cuda - DEPRECATED: Accelerate backend for NVIDIA GPUs
dhall-nix
egison - The Egison Programming Language
hLLVM
haste-compiler - A GHC-based Haskell to JavaScript compiler
fst - Haskell package for construction and running of finite state transducers.
castle - A tool to manage shared cabal-install sandboxes.
const-math-ghc-plugin - GHC plugin for constant math elimination
starlark - Starlark Language
ghc-proofs - Let GHC prove program equations for you
ghci-ng