Comments (8)
Heya! That sounds great to me. Do note that this was a bit of a hackathon-project and as you had probably noticed, was never finished. However, thanks for continuing on it! I'm okay with moving ownership of the repository. And also okay with managing any PRs that come in and going through filed issues
from dhall-lang.
@f-f: Yeah, feel free to move this under the dhall-lang
project. Also, if your company is okay with it I can list them as a commercial user of Dhall here whenever that launches:
https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-production
from dhall-lang.
We're in the process of porting our Kubernetes infrastructure to Dhall-Kubernetes, and will probably ship it to production during the next weeks.
While doing this, I forked dhall-kubernetes and added a good amount of patches to it (and more will probably come as we'll use it more). Fork is here.
Given that I wouldn't like to maintain a fork, I was wondering if it would be a good idea to merge my fork into the main repo (before it diverges), and move the repo under the umbrella of this organization, so we have a concentrated effort for making the integration with Kube easier.
@arianvp does it sound like a good idea? (btw, thanks for starting the project)
from dhall-lang.
@arianvp super awesome, thanks :)
I opened the PR here, let's merge and then we can move the repo over here.
if your company is okay with it I can list them as a commercial user of Dhall here whenever that launches
@Gabriel439 cool, I'll check if it's good and add us to the wiki page
from dhall-lang.
@Gabriel439 if you add me to the dhall-lang
organisation, then i'll transfer the repo here.
from dhall-lang.
@arianvp: Added!
from dhall-lang.
@Gabriel439 since now we have things like dhall-kubernetes
and dhall-terraform
, should we close this issue? We could open more tool-specific ones as needs arise
from dhall-lang.
Yep! I'll go ahead and close this
from dhall-lang.
Related Issues (20)
- `with` record update syntax removes other record fields HOT 4
- ABNF grammar should list "as Bytes" import mode
- Should the ABNF grammar disallow shebangs inside expressions? HOT 1
- eta-reducing to merge HOT 4
- Builtins operators reference: Missing record projection HOT 2
- ABNF grammar should explicitly disallow keywords as identifiers? HOT 2
- ABNF grammar should include a mandatory whitespace after `import-hashed`? HOT 1
- Improvements and fixes in the standard documentation HOT 3
- Is this an incorrect test file: `dhall-lang/tests/import/success/unit/ImportRelativeToHomeB.dhall`? HOT 2
- Link to non existing tweet
- A minimalistic proposal for do-notation
- Thoughts on introducing a minimum amount of type inference in Dhall HOT 1
- Introduce Bytes/length and Text/length as built-ins? HOT 3
- Is there a security hole: malicious sha256-protected cached content? HOT 1
- Eta-equivalence in `assert`? HOT 13
- A type level equivalent of the `with` keyword HOT 11
- Convert assertions to Leibniz equality types HOT 3
- A minimalistic proposal for adding row and column polymorphism to Dhall HOT 2
- A proposal for a "lightweight Dhall implementations" standard
- Year, Month, and Date extraction from a Date HOT 6
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from dhall-lang.