Re: Zed and Utop for Ocaml 4.06 ???
"Douglas Lewit [email protected] [ocaml_beginners]" <[email protected]> Fri, 10 Nov 2017 21:25:08 -0600
| Newsgroups | gmane.comp.lang.ocaml.beginners |
|---|---|
| Message-ID | <CAM0XMJRkns_rp42A-+_qNsipZBWyvokwLi-munjt8D1LOunsxQ@mail.gmail.com> |
--f40304352fa491557a055dac95ef Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi Gabriel, Yes, I was able to use opam switch to switch over to OCaml 4.0.5, which of course had to download and recompile, but that didn't take very long. I read that the String type in 4.0.6 is now immutable (will it eventually become a list of chars like in C and Haskell?) and a professor at Northwestern who's into functional programming told me that OCaml's developers are now working on including monads in the language. At the same time I think Haskell's developers are working on compiling Haskell to JavaScript.... so it seems that the two languages are informing each other and helping each other to evolve or develop. It's kind of interesting to see how technologies change over time, and even more interesting to see if people can (or cannot?) adapt quickly to those rapid changes. I'm a big supporter of the whole concept of "backward compatibility", but at some point you probably have to abandon backward compatibility in order to make really groundbreaking changes to any technological system. By the way, does anyone know when the OCaml MOOC will be offered again via the FUN platform? Last year's course was wonderful, and I would like to repeat it. I emailed OCamlPro, but their answer was rather vague. They just wrote to me to let me know that it will probably be offered again, but they were very unclear about important details, when, and through which platform, etc. Oh well. I wish some OCaml geniuses would get together and produce a video course for O'Reilly or some company like that. I would if I was an OCaml genius.... but unfortunately I am not! Have a great weekend and thanks for the feedback. Best, Douglas. On Mon, Nov 6, 2017 at 1:36 AM, Gabriel Scherer [email protected] [ocaml_beginners] <[email protected]> wrote: > > > Out of curiosity, I looked for "utop" or "zed" in the homebrew packages > list, but I didn't find them. I suppose that you install them through OPA= M, > but this means that you could install a switch of any OCaml version you l= ike > > opam switch install 4.05.0 > eval $(opam config env) > opam install utop > > should work > > On Mon, Nov 6, 2017 at 7:37 AM, Gabriel Scherer <[email protected]= m > > wrote: > >> It looks like the homebrew maintainers decided to upgrade the compiler >> too soon, while many of the packages in the ecosystem are not ported to >> work on 4.06 yet. As a result, your OCaml distribution is half-broken. Y= our >> solutions are to downgrade OCaml to 4.05 (if you can), wait for the extr= a >> weeks for the ecosystem to adapt, or switch to another package manager t= hat >> does not adopt just-released software without considering the breakage f= or >> their other packages. (Maybe you should warn the homebrew people that th= is >> is an issue for you.) >> >> >> On Mon, Nov 6, 2017 at 7:11 AM, Douglas Lewit [email protected] >> [ocaml_beginners] <[email protected]> wrote: >> >>> >>> >>> Hi everyone, >>> >>> I just ran a brew update and brew upgrade on my Mac laptop. So brew >>> updated my opam version and also my ocaml version. OCaml got updated t= o >>> 4.06. The problem is that I could not upgrade my version of utop becau= se >>> supposedly utop hasn't been built yet for the latest version of the OCa= ml >>> language. Does anyone know when this will be remedied? Or am I doing >>> something wrong? Thanks! >>> >>> Best, >>> >>> Douglas. >>> >>> P.S. I also received a similar warning message about Zed. Will this >>> get fixed in the near future as well? Thanks. >>> >>> >>> >> >=20 > --f40304352fa491557a055dac95ef Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/htm= l4/strict.dtd"> <html> <head> </head> =20 <body style=3D"background-color: #fff;"> <span style=3D"display:none"> </span> <!--~-|**|PrettyHtmlStartT|**|-~--> <div id=3D"ygrp-mlmsg" style=3D"position:relative;"> <div id=3D"ygrp-msg" style=3D"z-index: 1;"> <!--~-|**|PrettyHtmlEndT|**|-~--> <div id=3D"ygrp-text" > =20=20=20=20=20=20 =20=20=20=20=20=20 <p><div dir=3D"ltr"><font size=3D"4">Hi Gabriel,</font><div><font siz= e=3D"4"><br></font></div><div><font size=3D"4">Yes, I was able to use opam = switch to switch over to OCaml 4.0.5, which of course had to download and r= ecompile, but that didn't take very long.=C2=A0 I read that the String = type in 4.0.6 is now immutable (will it eventually become a list of chars l= ike in C and Haskell?) and a professor at Northwestern who's into funct= ional programming told me that OCaml's developers are now working on in= cluding monads in the language.=C2=A0 At the same time I think Haskell'= s developers are working on compiling Haskell to JavaScript.... so it seems= that the two languages are informing each other and helping each other to = evolve or develop.=C2=A0 It's kind of interesting to see how technologi= es change over time, and even more interesting to see if people can (or can= not?) adapt quickly to those rapid changes.=C2=A0 I'm a big supporter o= f the whole concept of "backward compatibility", but at some poin= t you probably have to abandon backward compatibility in order to make real= ly groundbreaking changes to any technological system.</font></div><div><fo= nt size=3D"4"><br></font></div><div><font size=3D"4">By the way, does anyon= e know when the OCaml MOOC will be offered again via the FUN platform?=C2= =A0 Last year's course was wonderful, and I would like to repeat it.=C2= =A0 I emailed OCamlPro, but their answer was rather vague.=C2=A0 They just = wrote to me to let me know that it will probably be offered again, but they= were very unclear about important details, when, and through which platfor= m, etc.=C2=A0 Oh well.=C2=A0 I wish some OCaml geniuses would get together = and produce a video course for O'Reilly or some company like that.=C2= =A0 I would if I was an OCaml genius.... but unfortunately I am not!</font>= </div><div><font size=3D"4"><br></font></div><div><font size=3D"4">Have a g= reat weekend and thanks for the feedback.</font></div><div><font size=3D"4"= ><br></font></div><div><font size=3D"4">Best,</font></div><div><font size= =3D"4"><br></font></div><div><font size=3D"4">Douglas.</font></div><div><fo= nt size=3D"4"><br></font></div></div><div class=3D"gmail_extra"><br><div cl= ass=3D"gmail_quote">On Mon, Nov 6, 2017 at 1:36 AM, Gabriel Scherer <a href= =3D"mailto:[email protected]">[email protected]</a> [ocaml_= beginners] <span dir=3D"ltr"><<a href=3D"mailto:ocaml_beginners@yahoogro= ups.com" target=3D"_blank">[email protected]</a>></span> w= rote:<br><blockquote class=3D"gmail_quote" style=3D"border-left:1px #ccc so= lid;"> <u></u> =20 <div style=3D"background-color:#fff;"> <span>=C2=A0</span> <div id=3D"m_6958143212245802597ygrp-mlmsg"> <div id=3D"m_6958143212245802597ygrp-msg"> <div id=3D"m_6958143212245802597ygrp-text"> =20=20=20=20=20=20 =20=20=20=20=20=20 <p></p><div dir=3D"ltr"><div><div><div>Out of curiosity, I looked for= "utop" or "zed" in the homebrew packages list, but I d= idn't find them. I suppose that you install them through OPAM, but this= means that you could install a switch of any OCaml version you like<br><br= ></div>=C2=A0 opam switch install 4.05.0</div><div>=C2=A0 eval $(opam confi= g env)<br></div>=C2=A0 opam install utop<br><br></div>should work<br></div>= <span class><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">On Mo= n, Nov 6, 2017 at 7:37 AM, Gabriel Scherer <span dir=3D"ltr"><<a href=3D= "mailto:[email protected]" target=3D"_blank">gabriel.scherer@gmail.= com</a>></span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"bor= der-left:1px #ccc solid;"><div dir=3D"ltr">It looks like the homebrew maint= ainers decided to upgrade the compiler too soon, while many of the packages= in the ecosystem are not ported to work on 4.06 yet. As a result, your OCa= ml distribution is half-broken. Your solutions are to downgrade OCaml to 4.= 05 (if you can), wait for the extra weeks for the ecosystem to adapt, or sw= itch to another package manager that does not adopt just-released software = without considering the breakage for their other packages. (Maybe you shoul= d warn the homebrew people that this is an issue for you.)<div><div class= =3D"m_6958143212245802597h5"><br><div class=3D"gmail_extra"><br><div class= =3D"gmail_quote">On Mon, Nov 6, 2017 at 7:11 AM, Douglas Lewit <a href=3D"m= ailto:[email protected]" target=3D"_blank">[email protected]</a> [ocaml_beg= inners] <span dir=3D"ltr"><<a href=3D"mailto:ocaml_beginners@yahoogroups= .com" target=3D"_blank">[email protected]<wbr>om</a>></span>= wrote:<br><blockquote class=3D"gmail_quote" style=3D"border-left:1px #ccc = solid;"> =20=20=20=20=20=20=20=20 <div> <br><br> <div dir=3D"ltr"><font size=3D"4">Hi everyone,</font><div><font size=3D"4">= <br></font></div><div><font size=3D"4">I just ran a brew update and brew up= grade on my Mac laptop.=C2=A0 So brew updated my opam version and also my o= caml version.=C2=A0 OCaml got updated to 4.06.=C2=A0 The problem is that I = could not upgrade my version of utop because supposedly utop hasn't bee= n built yet for the latest version of the OCaml language.=C2=A0 Does anyone= know when this will be remedied?=C2=A0 Or am I doing something wrong?=C2= =A0 Thanks!</font></div><div><font size=3D"4"><br></font></div><div><font s= ize=3D"4">Best,</font></div><div><font size=3D"4"><br></font></div><div><fo= nt size=3D"4">Douglas.</font></div><div><font size=3D"4"><br></font></div><= div><font size=3D"4">P.S.=C2=A0 I also received a similar warning message a= bout Zed.=C2=A0 Will this get fixed in the near future as well?=C2=A0 Thank= s.</font></div></div> <br> <br> <div width=3D"1" style=3D"color:white;"></div> </div></blockquote></div><br></div></div></div></div> </blockquote></div><br></div> </span><p></p> </div><span class> =20=20=20=20=20 =20=20=20=20 <div style=3D"color:#fff;height:0;"></div> </span></div> =20=20 </div></div></blockquote></div><br></div> </p> </div> =20=20=20=20=20 <!--~-|**|PrettyHtmlStart|**|-~--> <div style=3D"color: #fff; height: 0;">__._,_.___</div> =20=20=20=20=20=20=20=20=20=20 =20=20 =20 =20=20=20=20 <div style=3D"clear:both"> </div> <div id=3D"fromDMARC" style=3D"margin-top: 10px;"> <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; background= -color:#E3E3E3;"> Posted by: Douglas Lewit <[email protected]> <hr style= =3D"height:2px ; border-width:0; color:#E3E3E3; background-color:#E3E3E3;"> </div> <div style=3D"clear:both"> </div> <table cellspacing=3D4px style=3D"margin-top: 10px; margin-bottom: 10px= ; color: #2D50FD;"> <tbody> <tr> <td style=3D"font-size: 12px; font-family: arial; font-weight: bo= ld; padding: 7px 5px 5px;" > <a style=3D"text-decoration: none; color: #2D50FD= " href=3D"https://groups.yahoo.com/neo/groups/ocaml_beginners/conversations= /messages/14833;_ylc=3DX3oDMTJxc3U2b25hBF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQE= Z3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE0ODMzBHNlYwNmdHIEc2xrA3JwbHkEc3RpbWUDMTU= xMDM3MDcxMA--?act=3Dreply&messageNum=3D14833">Reply via web post</a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;" > <a href=3D"mailto:[email protected]?subject=3DRe%3A%20%22ocaml_= beginners%22%3A%3A%5B%5D%20Zed%20and%20Utop%20for%20Ocaml%204%2E06%20%3F%3F= %3F" style=3D"text-decoration: none; color: #2D50FD;"> Reply to sender </a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;"> <a href=3D"mailto:[email protected]?subject=3DRe%= 3A%20%22ocaml_beginners%22%3A%3A%5B%5D%20Zed%20and%20Utop%20for%20Ocaml%204= %2E06%20%3F%3F%3F" style=3D"text-decoration: none; color: #2D50FD"> Reply to group </a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;" > <a href=3D"https://groups.yahoo.com/neo/groups/ocaml_beginners/= conversations/newtopic;_ylc=3DX3oDMTJlYnNrNTZwBF9TAzk3MzU5NzE0BGdycElkAzQ5O= TkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTUxMDM3MDcx= MA--" style=3D"text-decoration: none; color: #2D50FD">Start a New Topic</a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;color: #2D50FD;" > <a href=3D"https://groups.yahoo.com/neo/groups/= ocaml_beginners/conversations/topics/14830;_ylc=3DX3oDMTM2dWlpaTc1BF9TAzk3M= zU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE0ODMzBHNlYwNm= dHIEc2xrA3Z0cGMEc3RpbWUDMTUxMDM3MDcxMAR0cGNJZAMxNDgzMA--" style=3D"text-dec= oration: none; color: #2D50FD;">Messages in this topic</a> (4) </td> </tr> </tbody> </table> =20=20=20=20=20=20=20=20 <div id=3D"megaphoneModule"> <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; backgr= ound-color:#E3E3E3;"> <div> <div class=3D"stream" style=3D"margin-bottom:10px;"> <div style=3D"background-color:white;"> <div class=3D"sn-img" style=3D"display:inline;"><img name=3D"tn= _file" style=3D"padding:0px 10px;vertical-align:top;margin-top:5px;" src=3D= "https://s.yimg.com/ru/static/images/yg/img/megaphone/1464031581_phpFA8bON"= height=3D"82" width=3D"82"></div> <div class=3D"mod-txt" style=3D"display:inline-block;"> <a rel=3D"nofollow" name=3D"sub_url" target=3D"_blank" href= =3D"https://yho.com/1wwmgg" style=3D"color:#0000FF;display:block;margin-lef= t:5px;text-decoration:none;"><span style=3D"font-size:15px;">Have you tried= the highest rated email app?</span></a> <div style=3D"max-width:530px;padding:2px 5px;">With 4.5 st= ars in iTunes, the Yahoo Mail app is the highest rated email app on the mar= ket. What are you waiting for? Now you can access all your inboxes (Gmail, = Outlook, AOL and more) in one place. Never delete an email again with 1000G= B of free cloud storage.</div> </div> </div> </div> </div>=20=20 =20=20=20=20=20 <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; background-col= or:#E3E3E3;"> </div> <!------- Start Nav Bar ------> <div id=3D"ygrp-grfd" style=3D"font-family: Verdana; font-size: 12px; p= adding: 15px 0;"> =20=20=20=20=20=20 <!-- |**|begin egp html banner|**| --> Archives up to December 31, 2011 are also downloadable at <a href=3D"= http://www.connettivo.net/cntprojects/ocaml_beginners">http://www.connettiv= o.net/cntprojects/ocaml_beginners</a><BR> The archives of the very official ocaml list (the seniors' one) can be foun= d at <a href=3D"http://caml.inria.fr">http://caml.inria.fr</a><BR> Attachments are banned and you're asked to be polite, avoid flames etc. = =20=20 <!-- |**|end egp html banner|**| --> </div> =20=20 =20 <!-- |**|begin egp html banner|**| --> <div id=3D"ygrp-vital" style=3D"background-color: #f2f2f2; font-family: Ver= dana; font-size: 10px; margin-bottom: 10px; padding: 10px;"> <span id=3D"vithd" style=3D"font-weight: bold; color: #333; text-transf= orm: uppercase; "><a href=3D"https://groups.yahoo.com/neo/groups/ocaml_begi= nners/info;_ylc=3DX3oDMTJlZjBxcG5xBF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc= 3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTUxMDM3MDcxMA--" style= =3D"text-decoration: none;">Visit Your Group</a></span> <ul style=3D"list-style-type: none; margin: 0; padding: 0; display: in= line;"> </ul> </div> <div id=3D"ft" style=3D"font-family: Arial; font-size: 11px; margin-top: 5p= x; padding: 0 2px 0 0; clear: both;"> <a href=3D"https://groups.yahoo.com/neo;_ylc=3DX3oDMTJkNHA1aWNqBF9TAzk3ND= c2NTkwBGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzd= GltZQMxNTEwMzcwNzEw" style=3D"float: left;"><img src=3D"http://l.yimg.com/r= u/static/images/yg/img/email/new_logo/logo-groups-137x15.png" height=3D"15"= width=3D"137" alt=3D"Yahoo! Groups" style=3D"border: 0;"/></a> <div style=3D"color: #747575; float: right;"> • <a href=3D"https://i= nfo.yahoo.com/privacy/us/yahoo/groups/details.html" style=3D"text-decoratio= n: none;">Privacy</a> • <a href=3D"mailto:ocaml_beginners-unsubscribe@= yahoogroups.com?subject=3DUnsubscribe" style=3D"text-decoration: none;">Uns= ubscribe</a> • <a href=3D"https://info.yahoo.com/legal/us/yahoo/utos/t= erms/" style=3D"text-decoration: none;">Terms of Use</a> </div> </div> <br> <!-- |**|end egp html banner|**| --> </div> <!-- ygrp-msg --> =20 <!-- Sponsor --> <!-- |**|begin egp html banner|**| --> <div id=3D"ygrp-sponsor" style=3D"width:160px; float:right; clear:none; m= argin:0 0 25px 0; background: #fff;"> <!-- Start Recommendations --> <div id=3D"ygrp-reco"> </div> <!-- End Recommendations --> </div> <!-- |**|end egp html banner|**| --> <div style=3D"clear:both; color: #FFF; font-size:1px;">.</div> </div> <img src=3D"http://geo.yahoo.com/serv?s=3D97359714/grpId=3D4999194/grpspI= d=3D1705006764/msgId=3D14833/stime=3D1510370710" width=3D"1" height=3D"1"> = <br> <img src=3D"http://y.analytics.yahoo.com/fpc.pl?ywarid=3D515FB27823A7407E&a= =3D10001310322279&js=3Dno&resp=3Dimg&cf12=3DCP" width=3D"1" height=3D"1">=20 <div style=3D"color: #fff; height: 0;">__,_._,___</div> <!--~-|**|PrettyHtmlEnd|**|-~--> </body> <!--~-|**|PrettyHtmlStart|**|-~--> <head> <style type=3D"text/css"> <!-- #ygrp-mkp { border: 1px solid #d8d8d8; font-family: Arial; margin: 10px 0; padding: 0 10px; } #ygrp-mkp hr { border: 1px solid #d8d8d8; } #ygrp-mkp #hd { color: #628c2a; font-size: 85%; font-weight: 700; line-height: 122%; margin: 10px 0; } #ygrp-mkp #ads { margin-bottom: 10px; } #ygrp-mkp .ad { padding: 0 0; } #ygrp-mkp .ad p { margin: 0; } #ygrp-mkp .ad a { color: #0000ff; text-decoration: none; } #ygrp-sponsor #ygrp-lc { font-family: Arial; } #ygrp-sponsor #ygrp-lc #hd { margin: 10px 0px; font-weight: 700; font-size: 78%; line-height: 122%; } #ygrp-sponsor #ygrp-lc .ad { margin-bottom: 10px; padding: 0 0; } #actions { font-family: Verdana; font-size: 11px; padding: 10px 0; } #activity { background-color: #e0ecee; float: left; font-family: Verdana; font-size: 10px; padding: 10px; } #activity span { font-weight: 700; } #activity span:first-child { text-transform: uppercase; } #activity span a { color: #5085b6; text-decoration: none; } #activity span span { color: #ff7900; } #activity span .underline { text-decoration: underline; } .attach { clear: both; display: table; font-family: Arial; font-size: 12px; padding: 10px 0; width: 400px; } .attach div a { text-decoration: none; } .attach img { border: none; padding-right: 5px; } .attach label { display: block; margin-bottom: 5px; } .attach label a { text-decoration: none; } =20=20 blockquote { margin: 0 0 0 4px; } .bold { font-family: Arial; font-size: 13px; font-weight: 700; } .bold a { text-decoration: none; } dd.last p a { font-family: Verdana; font-weight: 700; } dd.last p span { margin-right: 10px; font-family: Verdana; font-weight: 700; } dd.last p span.yshortcuts { margin-right: 0; } div.attach-table div div a { text-decoration: none; } div.attach-table { width: 400px; } div.file-title a, div.file-title a:active, div.file-title a:hover, div.fi= le-title a:visited { text-decoration: none; } div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div= .photo-title a:visited { text-decoration: none; } div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts { font-family: Verdana; font-size: 10px; font-weight: normal; } .green { color: #628c2a; } .MsoNormal { margin: 0 0 0 0; } o { font-size: 0; } #photos div { float: left; width: 72px; } #photos div div { border: 1px solid #666666; height: 62px; overflow: hidden; width: 62px; } #photos div label { color: #666666; font-size: 10px; overflow: hidden; text-align: center; white-space: nowrap; width: 64px; } #reco-category { font-size: 77%; } #reco-desc { font-size: 77%; } .replbq { margin: 4px; } #ygrp-actbar div a:first-child { /* border-right: 0px solid #000;*/ margin-right: 2px; padding-right: 5px; } #ygrp-mlmsg { font-size: 13px; font-family: Arial, helvetica,clean, sans-serif; *font-size: small; *font: x-small; } #ygrp-mlmsg table { font-size: inherit; font: 100%; } #ygrp-mlmsg select, input, textarea { font: 99% Arial, Helvetica, clean, sans-serif; } #ygrp-mlmsg pre, code { font:115% monospace; *font-size:100%; } #ygrp-mlmsg * { line-height: 1.22em; } #ygrp-mlmsg #logo { padding-bottom: 10px; } #ygrp-msg p a { font-family: Verdana; } #ygrp-msg p#attach-count span { color: #1E66AE; font-weight: 700; } #ygrp-reco #reco-head { color: #ff7900; font-weight: 700; } #ygrp-reco { margin-bottom: 20px; padding: 0px; } #ygrp-sponsor #ov li a { font-size: 130%; text-decoration: none; } #ygrp-sponsor #ov li { font-size: 77%; list-style-type: square; padding: 6px 0; }=20 #ygrp-sponsor #ov ul { margin: 0; padding: 0 0 0 8px; } #ygrp-text { font-family: Georgia; } #ygrp-text p { margin: 0 0 1em 0; } #ygrp-text tt { font-size: 120%; } #ygrp-vital ul li:last-child { border-right: none !important;=20 }=20 --> </style> </head> <!--~-|**|PrettyHtmlEnd|**|-~--> </html> <!-- end group email --> --f40304352fa491557a055dac95ef--