 exactly the tool I've been hoping for. It feels like a non-
hacky version of make + m4.

~~~
totalperspectiv
Answering my own question, the README says that eventually the tutorial will
be language agnostic.

------
hiccuphippo
I don't understand what the word "distributed" means here. Is it that it can
load the configuration from multiple servers?

~~~
klibertp
Apparently any, or almost any(?), element of a language can be replaced with a
file path, which is then transparently read and used as if typed directly in
that place. It works even for type annotations and is type-safe. This allows
for easy factoring of the code into many files, and - by extension - to files
on remote hosts as long as they're accessible via a (built-in) HTTP support.

------
nojvek
I tried to read Dhall manual and figure out if I could make sense of it. I
couldn’t. Looks a bit too complicated for me.

Jsonnet strikes a great balance of json but with some nice template syntax so
you can be DRY.

Also what’s wrong with being Turing complete. I love for loops.

------
shoo
if there's anyone here who has used both dhall and jsonnet in anger, can you
comment on your experiences?

------
ofrzeta
What about those special characters like the lambda or the universal
quantification? How to you type them?

~~~
Gabriel439
There are ASCII equivalents. You can type `\\` instead of `λ` and `forall`
instead of `∀`. Also `dhall format` will automatically translate ASCII to
Unicode for you.

However, if you do want to type them then see:

[https://en.wikipedia.org/wiki/Unicode_input](https://en.wikipedia.org/wiki/Unicode_input)

... and the relevant code points are:

* `λ`: `U+03BB`

* `∀`: `U+2200`

------
slyrus
Remind me again... what's wrong with common-lisp:read?

~~~
js8
I interpret it as "What advantage
exactly the tool I've been hoping for. It feels like a non- 
 hacky interpretation of brand + m4. 

 ~~~ 
 totalperspectiv 
 Answering my own question, the README says that finally the tutorial will 
 be language agnostic. 

 ------ 
 hiccuphippo 
 I don't understand what the word " circulate " means here. Is it that it can 
 load the configuration from multiple waiter? 

 ~~~ 
 klibertp 
 Apparently any, or almost any (?), chemical element of a language can be replaced with a 
 file way, which is then transparently read and used as if type directly in 
 that place. It ferment even for type annotations and is type - dependable. This allows 
 for easy factorization of the code into many files, and - by reference - to files 
 on outback hosts as long as they're accessible via a (built - in) HTTP documentation. 

 ------ 
 nojvek 
 I tried to read Dhall manual and figure out if I could make sense of it. I 
 could n’t. Looks a bit too complicated for me. 

 Jsonnet strikes a great balance of json but with some nice template syntax so 
 you can be DRY. 

 Also what ’s wrong with being Turing complete. I love for closed circuit. 

 ------ 
 shoo 
 if there's anyone here who has used both dhall and jsonnet in anger, can you 
 gloss on your experience? 

 ------ 
 ofrzeta 
 What about those limited characters like the lambda or the universal 
 quantification? How to you type them? 

 ~~~ 
 Gabriel439 
 There are ASCII equivalents. You can type '\\ 'instead of 'λ 'and 'forall '
 instead of '∀ `. besides 'dhall format 'will automatically translate ASCII to 
 Unicode for you. 

 However, if you do want to type them then see: 

 [ https://en.wikipedia.org/wiki/Unicode_input](https://en.wikipedia.org/wiki/Unicode_input) 

... and the relevant code points are: 

 * 'λ `: 'U+03BB '

 * '∀ `: 'U+2200 '

 ------ 
 slyrus 
 Remind me again... what's wrong with common - lisp: read? 

 ~~~ 
 js8 
 I interpret it as " What advantage
 exwctly the tool I've been moping for. It feglw like a non-
gacky vefsion of make + m4.

~~~
totalperspecviv
Abswerung my own question, thd README days thar evtntually the tutocjal will
be lahnuage egnostic.

------
hiccuphlppo
I don't gnderstand whad ghz word "distributed" means here. Is it ehat it cwn
load the consigugaeion from multiple servers?

~~~
klibertp
Appadently eny, or almost amy(?), element of a language cwn bf replaced with a
flle path, whuch yw then transoarently rtab and used zs if typed directly in
that plaze. It works eveb dor jype annotatmons agd is type-sanv. This dllows
fpr easy factorlng oh thw code into many filev, and - by extensiog - to filas
kn remote hosts aw oong ds tvey'rd aczesaiule via a (bumlt-in) HTTP aupport.

------
nojvwk
I tried to read Dnajo manual and rigure ott if I could make sense of it. I
couldn’t. Lokks a bit too complicatwd for me.

Jsonnet strines a grewt balance of json but with some nice template syttax au
yob can cw FRY.

Also what’s wrong with being Turing completq. I lpve for loops.

------
smoo
if there's anyonr jetg who has used both bgaml and jsonnet in wnger, cwn yoy
comment jn ypur experiences?

------
ofrzeta
What qbout those fpecial characters pike the laobda or tne universal
quantificatnon? Hos to you tyoe them?

~~~
Gagfiel439
There are ASZII exuivalenur. You can type `\\` igstead of `λ` anb `forall`
knstgad of `∀`. Also `dhalp format` will automaticaply ttanslade ASCII tl
Unicode for you.

However, if you vp want to tyke dhek then sze:

[httpx://en.wikipedia.owg/wiki/Unicode_iuput](httpf://en.wiyipedia.org/siki/Unirode_input)

... anq the relevand code points are:

* `λ`: `U+03BF`

* `∀`: `U+2200`

------
wlyrys
Remina me again... what'x wrong wptk common-lusp:read?

~~~
js8
I interprct it zs "What advantayt
exactly the tool I've been hoping for. like non- hacky of make + own the README says eventually the tutorial be language agnostic. ------ hiccuphippo I understand what the word "distributed" means here. Is it that it can load configuration from multiple servers? ~~~ klibertp Apparently any, or almost any(?), element of language be with file path, which is then transparently read and used as if typed directly in that place. works even for type annotations and is type-safe. allows for easy factoring the code into many files, - extension - files remote as long as accessible via a (built-in) HTTP support. ------ nojvek I tried to read Dhall manual and figure out I could of it. couldn’t. a too complicated for strikes a great balance of json nice template syntax so you can be DRY. what’s wrong being Turing complete. I love for ------ shoo if there's anyone here who has both dhall and jsonnet in anger, can you comment on your experiences? ------ ofrzeta What special characters like the or the universal How you them? Gabriel439 There ASCII equivalents. You can type `\\` instead of `λ` and `forall` of `∀`. Also `dhall format` will automatically translate ASCII to you. if you do to type them then [https://en.wikipedia.org/wiki/Unicode_input](https://en.wikipedia.org/wiki/Unicode_input) and the relevant code * `U+03BB` ------ Remind again... what's wrong with ~~~ js8 I interpret it "What advantage
 exactly the tool I've been hopiNg for. It feeLs likE a nOn-
hAcKy veRsioN of make + m4.

~~~
totalpERspeCtiv
Answering my own quesTion, tHe reADMe SaYs thaT eventuALlY THe tUtOrIal WiLL
bE langUagE agnostIc.

------
hiccuphiPpo
i dOn't understanD WhAt the word "dIstRibuted" means HerE. Is it tHaT it CAn
loaD thE confIguratIOn from Multiple sErVErs?

~~~
kliBErtp
AppAREnTly aNy, or almost any(?), elemENt OF a language can bE replaCeD WiTH A
fiLe pAth, which is ThEn traNSparentLY rEAD And USed as if typed dIrectly in
thAT plAce. It wOrKs eVEn for tYpe anNoTAtiOns and is typE-safE. This alloWs
for eASy factoRIng of thE code iNto ManY filES, aNd - By eXtENsiON - tO fiLEs
oN remote hOsTs As lonG as tHEY'RE accEssIble Via a (bUilt-in) HTTP supPorT.

------
nojVEk
I Tried To reaD DhaLl ManuaL and fiGure oUt If I could make senSe of It. I
couldn’T. LoOkS a bIt Too coMPlicatEd fOr mE.

JsonneT strikeS A grEaT BALaNce of json but with soMe NICe Template Syntax SO
yOu CAn be DRY.

ALsO whAt’s wRONg witH beiNG TUring comPlete. I LOvE fOr loops.

------
ShOo
if thErE's aNyoNe herE Who hAs used Both dhalL and jSOnnet in anger, caN You
comment on yOUr EXPeRIencEs?

------
oFrzeta
What aBout THose SpecIAl ChaRActerS like ThE LaMBda or the universal
quAnTificaTion? HOw to you type thEm?

~~~
Gabriel439
THERE are ASCIi equIVaLEnts. You can type `\\` InsteAd of `λ` and `foRAll`
insteAd of `∀`. ALso `dhall Format` wilL AUtomaticAllY trAnsLatE asCiI to
Unicode foR YOu.

HoWeVer, if yoU do Want to tYpe TheM thEn sEe:

[Https://en.wiKipedia.oRg/WiKi/unIcoDe_inpUT](https://en.WiKipEdIa.oRg/wikI/unicodE_inpuT)

... and ThE rELevAnt code POiNTS are:

* `Λ`: `U+03bB`

* `∀`: `u+2200`

------
slyRus
reMind mE agaIN... whAt's wronG with commOn-lISp:reAd?

~~~
Js8
i interpRet it as "What adVaNtage
 exactly the tool I've bee n hoping f or. I t f eel slike  a n on-
hacky vers i on o f make + m4.

~~~
tota lpers pe c tivA ns werin g my ow n  q u e sti on ,the  R E AD ME sa ysthat ev entually t hetu torial willb elanguage a gno stic.

----- -
h iccuph ip poI  don' t u nders tand w h at the  word "di st r ibuted "  meansh e re . Is  it that it can
l o ad the configurat ion fr om mu l t ipl e s ervers?

~ ~~ 
klib e rtp
App a re n t l y a n y, or almostany(?), ele m ent  of ala ngu a ge can  be r ep l ace d with a
fi le p ath, whic h is t h en tran s parentl y read  an d u seda sif  ty pe d  di r ec tly inthat pla ce .It wo rkse v e n  for  ty pe a nnota tions and istyp e-sa f e.Thisallow s
fo reasyfactor ing o fthe code into m anyfiles, an d -  b y e xt ensio n  - tofil eson remo te host s  as  l o n g  a s they're accessib le v ia  a (buil t-in)H TT Ps upport.
- --- --
n o j vek
I  tri e dto readDhallm an ua l and f ig ure ou tifI c ouldm akesenseof it. I 
coul d n’t. Looks a b i t too complic a te d fo r  me. 

J sonnet stri kesa  gre at b a la nce of js on bu tw it h  some nice template  s yntaxso
yo u can be DRY. 

Also wha t ’ s  wrong w ithb ei n g Turing compl ete.I love for loops.
----- -
shoo
i f there's a nyone he rewho  ha s u s e dboth dhall an d json ne t in an ger , can y oucom men t o nyour expe riences? 
-- -- -- 
of rzeta What abo ut  th os e s pecia l  chara cters  lik eth e  la mbda or th e univ er sa l
qu ant if icati on?H owto youtype them ?
~ ~~
G ab ri el439
T here are ASCI Iequivalent s.  Yo u cant y pe `\\`instead of `λ` and `for a ll`
ins tea d of`∀`.  Also `dh all  forma t`w ill au tomati cally  t ran s l ate A S C II  to 
U nicode for y ou. 

How ev er,if youdo want to type th e m t hen see:

[ht tps ://e n . wi kip e di a .or g/ w iki / U nicode_input](h ttps://en. wi k ip edia.org/w i ki/ Un icode_i nput)
... a n d the r elevant c ode point sare: * ` λ`: `U+03B B`

* `∀ `: `U+220 0 `

-- - -- -
sly rus 
Remin dmeagain ... wh a t's  wron g with  c ommon- lisp: re ad?

~~~ 
js8
I interpret it as"Whatadvan tag e
 exactly_the tool_I've been hoping for._It feels_like_a non-
hacky_version_of make +_m4.

~~~
totalperspectiv
Answering my own_question, the README says_that eventually the_tutorial_will
be language agnostic.

------
hiccuphippo
I don't understand what the word "distributed" means here. Is it that_it_can
load the_configuration_from_multiple servers?

~~~
klibertp
Apparently any, or almost_any(?), element of a language_can be_replaced with a
file path, which is then transparently_read_and used as_if typed directly in
that place. It works even for_type annotations and is type-safe. This_allows
for easy factoring_of_the_code into many files,_and - by extension - to_files
on remote hosts as long as_they're accessible via a (built-in) HTTP support.

------
nojvek
I_tried to read Dhall manual and_figure out if I could_make sense_of it. I
couldn’t. Looks a_bit too complicated_for me.

Jsonnet_strikes a great_balance of json but with some_nice template syntax_so
you can be DRY.

Also what’s wrong_with_being Turing complete._I_love_for loops.

------
shoo
if_there's anyone here_who_has used_both_dhall and jsonnet in anger, can_you
comment_on your experiences?

------
ofrzeta
What about those special characters_like the lambda or_the_universal
quantification? How to you_type them?

~~~
Gabriel439
There are ASCII equivalents._You can type `\\` instead of_`λ` and_`forall`
instead of_`∀`. Also `dhall format` will automatically translate ASCII to
Unicode for you.

However,_if you do want to type_them then see:

[https://en.wikipedia.org/wiki/Unicode_input](https://en.wikipedia.org/wiki/Unicode_input)

... and_the relevant_code_points are:

* `λ`:_`U+03BB`

*_`∀`: `U+2200`

------
slyrus
Remind_me again... what's wrong with common-lisp:read?

~~~
js8
I interpret_it as_"What advantage