search

visual-systems / philosophy

Overall philosophical documentation of what this system will aim to achieve and how it will be constructed.
6 stars 1 forks source link

dhall - JSON + functions + types + imports #13

Open sordina opened 5 years ago

sordina commented 5 years ago

https://github.com/dhall-lang/dhall-lang

https://github.com/Profpatsch/dhall-js

https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-try

sashaboyd commented 5 years ago

That just seems pretty useful in general... 😅

On Mon, Apr 15, 2019, at 10:23 AM, Lyndon Maydwell wrote:

https://github.com/dhall-lang/dhall-lang

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/visual-systems/philosophy/issues/13, or mute the thread https://github.com/notifications/unsubscribe-auth/ACCDMVRFY2ADQHPNH7772ZLPQPDJPANCNFSM4HF3YHRQ.

sordina commented 5 years ago

@sashaboyd yeah it's so cool 👍

sordina commented 5 years ago

I tried to get the dhall js version to build today, but couldn't get the nix recipe working and the stack ghcjs wouldn't play nice either... no luck unfortunately

sashaboyd commented 5 years ago

Ah, that's what always frustrates me about Haskell and its ecosystem. Good ideas, broken toolchain.

On Mon, Apr 15, 2019, at 4:49 PM, Lyndon Maydwell wrote:

I tried to get the dhall js version to build today, but couldn't get the nix recipe working and the stack ghcjs wouldn't play nice either... no luck unfortunately

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/visual-systems/philosophy/issues/13#issuecomment-483128552, or mute the thread https://github.com/notifications/unsubscribe-auth/ACCDMVT5IQK67ASOWTIHR63PQQQPHANCNFSM4HF3YHRQ.

sordina commented 5 years ago

[image: image.png]

On Tue, Apr 16, 2019 at 4:26 PM Sasha Boyd notifications@github.com wrote:

Ah, that's what always frustrates me about Haskell and its ecosystem. Good ideas, broken toolchain.

On Mon, Apr 15, 2019, at 4:49 PM, Lyndon Maydwell wrote:

I tried to get the dhall js version to build today, but couldn't get the nix recipe working and the stack ghcjs wouldn't play nice either... no luck unfortunately

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub < https://github.com/visual-systems/philosophy/issues/13#issuecomment-483128552>, or mute the thread < https://github.com/notifications/unsubscribe-auth/ACCDMVT5IQK67ASOWTIHR63PQQQPHANCNFSM4HF3YHRQ .

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/visual-systems/philosophy/issues/13#issuecomment-483528066, or mute the thread https://github.com/notifications/unsubscribe-auth/AAFoiz5Gr9odBc9vHEXKnZlQtlldKV68ks5vhW0SgaJpZM4cu8Hj .

brendanzab commented 5 years ago

Pushes me to get browser-based Pikelet back on track! 😆

sordina commented 5 years ago

I also tried seeing if I could jerry-rig the JS from https://dhall-lang.org/# to avoid having to build, however the actual wiring of the events is inside all.js which is a compiled GHCJS block and is hard to decompose and analyse.

rskew commented 5 years ago

I found the website repo, it's within the dhall-haskell repo: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-try