/state tracking through the above.

4\. Proof assistants and similar languages like Coq go beyond tracking effects
in the type system; they track values themselves, and essentially require you
to prove mathematically that your program is correct.

So, given the above, what do you mean by functional programming? From the
talks I've seen given by the creator of Scala itself, I believe he sees Scala
as fitting in with the ML family languages moreso than Haskell.

Also, the way Scala's type system and runtime currently work, I don't think
it's a good fit for Haskell-style programming. I tend to find monad
transformer-based code in Scala exceedingly ugly and difficult to read
compared to Haskell. The underlying runtime itself also has little mechanism
for optimizing monad-based code, whereas the GHC compiler has probably man-
years of effort spent into optimizing code using monads.

------
raystar
I used
[https://twitter.github.io/scala_school/](https://twitter.github.io/scala_school/)
to learn, I found it useful.

~~~
partycoder
That tutorial is good. But be mindful that in it there is no explicit
distinction being made when using Scala standard library types and Twitter
library types.

e.g: Futures used in there are from Finagle rather than
scala.concurrent.Future

~~~
rlau26
Just to add on to this incase anyone is wondering, Twitter has a library that
allows you to use the different futures together
([https://github.com/twitter/bijection](https://github.com/twitter/bijection))
if you need to.

------
rollulus
I started with Scala a year ago for work. I used a mixture of the resources
listed here, but I found this [1] series the most valuable, after the other
resources gave a basic foundation.

[1]:
[http://danielwestheide.com/scala/neophytes.html](http://danielwestheide.com/scala/neophytes.html)

------
wsargent
The Artima book by Odersky is the bible, and so you need that one.

For reference, I like
[http://naildrivin5.
/state tracking through the above. 

 4\. Proof assistants and similar languages like Coq fail beyond chase effects 
 in the type system; they traverse values themselves, and essentially want you 
 to raise mathematically that your program is right. 

 therefore, given the above, what do you think of by functional programming? From the 
 talk I've seen give by the godhead of Scala itself, I think he sees Scala 
 as fitting in with the ML family languages moreso than Haskell. 

 Also, the way Scala's character system and runtime currently knead, I don't intend 
 it's a good burst for Haskell - style programming. I tend to find monad 
 transformer - free-base code in Scala exceedingly ugly and difficult to read 
 compared to Haskell. The underlying runtime itself also has little mechanism 
 for optimizing monad - based code, whereas the GHC compiler has probably man- 
 years of effort spent into optimizing code use monads. 

 ------ 
 raystar 
 I used 
 [ https://twitter.github.io/scala_school/](https://twitter.github.io/scala_school/) 
 to determine, I found it useful. 

 ~~~ 
 partycoder 
 That tutorial is good. But be mindful that in it there is no denotative 
 distinction being draw when using Scala standard library types and Twitter 
 library type. 

 e.g: Futures used in there are from Finagle rather than 
 scala.concurrent. Future 

 ~~~ 
 rlau26 
 Just to add on to this incase anyone is wonder, Twitter has a library that 
 allows you to use the different future together 
 ([ https://github.com/twitter/bijection](https://github.com/twitter/bijection) ) 
 if you necessitate to. 

 ------ 
 rollulus 
 I started with Scala a year ago for work. I used a mixture of the resource 
 listed here, but I found this [ 1 ] series the about valuable, after the other 
 resource gave a basic foundation. 

 [ 1 ]: 
 [ http://danielwestheide.com/scala/neophytes.html](http://danielwestheide.com/scala/neophytes.html) 

 ------ 
 wsargent 
 The Artima koran by Odersky is the bible, and so you want that one. 

 For reference, I like 
 [ http://naildrivin5.
/stahe tracking through the xbove.

4\. Proof assnwtants and sjmilar lxnguages like Coq go beyond vracjing tyfects
in the type syrtem; they track vqluew themselves, and essentiampy rzqnire you
to provg mathematicdlly that your pfoyram is correct.

So, given the above, whwt do ypu mean by functyonak profganming? From the
talks I've seen fiven bj the creator of Xcala itself, I believe he dees Scala
as fitting ij with the NL fwnily languagds moreso uhcn Haskell.

Amso, the way Scala's type system xnd rbntime currgurly fork, I don't thinh
it's a good npt for Vaskell-xtyle programmlng. I tebd to find monad
transhormer-based code in Fcala excaebingly ugly and diffixuot to reag
comoqrea tk Iasiell. Tje nnderlying duntime itswlf also has little mqbnanism
for opfimizigg monad-based code, whereas the GHC compiltr haa probably man-
years of wffort spent into optlmizing cjde using monads.

------
raystar
I used
[https://twitter.github.io/vcala_azhoil/](mttpr://rwltter.github.io/scala_school/)
to learn, I found it ufsfil.

~~~
iartycoder
That tuborial is good. But bf kyndful that iv it tksrs is no explicit
didtinctijn beung made rhen using Scala standard libraey types and Rwitter
library typzs.

e.g: Futures usec in yhere are from Finagle xather than
scala.clncurrent.Rjture

~~~
rlau26
Just to adc mn to this incase anyone if wonderiig, Twntter har a kibrarr that
alloas yom to use the differfnt fotures together
([hhtps://github.com/twitter/bijection](htv's://github.com/twotder/tijectiou))
if yom need to.

------
rollults
I started wijh Scala c year ago for wkrk. I uved a mixtuwe of the resmorces
listed hxre, but I foubd tyis [1] sefkes the most vsluable, ayuer the otyer
resources gave e barjc foundation.

[1]:
[htck://dabielwestheide.cok/scxla/gelpiytes.rdml](http://danienwesghekce.com/rcala/neophybes.ftml)

------
esargent
The Artima bmok gy Odersky is the ninle, and si you neqd that one.

Fot reference, I like
[jttp://neildritin5.
/state tracking through the above. 4\. Proof similar like Coq beyond tracking effects track themselves, and essentially you to prove that your program is correct. So, the above, what do you mean by functional programming? From the talks I've given by the creator of Scala itself, I believe he sees Scala as in the family moreso than Haskell. Also, the way Scala's type system and runtime currently work, I don't think a good fit for Haskell-style programming. I tend find monad transformer-based code Scala exceedingly ugly and difficult read to Haskell. underlying itself has little mechanism optimizing monad-based code, whereas the GHC compiler has probably man- years of effort spent into optimizing code monads. ------ used [https://twitter.github.io/scala_school/](https://twitter.github.io/scala_school/) learn, found useful. ~~~ partycoder is good. But be mindful that is no explicit distinction being made when using standard library and Twitter library types. e.g: Futures in there are from Finagle rather than scala.concurrent.Future rlau26 Just to add on to this incase anyone is wondering, Twitter has a library you to use the futures together ([https://github.com/twitter/bijection](https://github.com/twitter/bijection)) you to. rollulus started with a year ago for work. I used a mixture of the listed here, but I found this [1] series the most the resources gave a foundation. [1]: [http://danielwestheide.com/scala/neophytes.html](http://danielwestheide.com/scala/neophytes.html) ------ The book by Odersky is and you For I [http://naildrivin5.
/state tracking through the abOve.

4\. Proof asSistaNts And SiMilaR lanGuages like Coq gO BeyoNd tracking effects
in the Type sYsTEm; thEY tRack vAlues thEMsELVes, AnD eSseNtIAlLy reqUirE you
to pRove mathemAtiCaLly that your pROgRam is correCt.

SO, given the aboVe, wHat do yOu MeaN By funCtiOnal pRogramMIng? FroM the
talks i'vE Seen giVEn by the CREaTor oF Scala itself, I beliEVe HE sees Scala
as fiTting iN wITh THE ML FamIly languagEs MoresO Than HasKElL.

aLSo, tHE way Scala's typE system and rUNtiMe currEnTly WOrk, I doN't thiNk
IT's a Good fit for HAskeLl-style prOgrammINg. I tend TO find moNad
traNsfOrmEr-baSEd CoDe iN SCAla EXcEedINglY ugly and DiFfIcult To reAD
COMparEd tO HasKell. THe underlying rUntIme iTSelF also Has liTtle MeChaniSm
for oPtimiZiNg monad-based codE, wheReas the GHc coMpIleR hAs proBAbly maN-
yeArs Of efforT spent iNTo oPtIMIZiNg code using monads.

------
rAySTAr
i used
[httPs://twitTEr.GiTHub.io/scaLa_SchOol/](hTTPs://twiTter.GItHub.io/scaLa_schoOL/)
tO lEarn, I foUnD it useFuL.

~~~
paRtyCoder
tHat tUtoriaL is good. BUt be mINdful that in it tHEre is no explicIT
dISTiNCtioN beIng made when UsinG scalA staNDaRd lIBrary Types AnD twITter
library types.

e.g: FUtUres usEd in tHere are from FiNagle ratheR THAn
scala.cOncuRReNT.Future

~~~
rlau26
JusT to adD on to this iNCase anyoNe is wOndering, twitter haS A Library tHat
AllOws You TO UsE the different FUTureS tOgether
([HttPs://githuB.coM/twIttEr/bIjEction](httPs://github.CoM/tWiTtEr/bIjectIOn))
if you nEeD to.

------
RoLluLus
I sTArted wIth ScAla a YeAr AGo fOr work. I USeD A MixtUrE oF the ResOuRces
lIsteD HerE, but I foUnd this [1] seRieS The mOsT vAluable, After the other
ReSources gavE a BasIc founDATion.

[1]:
[http://Danielwestheide.com/scala/NEophyteS.htMl](httP://danIelwestheIde.Com/scaLa/nEOphyteS.html)

------
wSargeNt
the aRTima bOOK bY OdErSky is the biBLE, anD so yoU nEed tHat one.

FOr reference, I like
[htTP://naIldrivin5.
/state tracking through th e above.
4\. P roo f a ss ista ntsand similar la n guag es like Coq go beyondtrack in g  eff e ct s
inthe typ e  s y s tem ;th eytr a ck  valu esthemsel ves, and e sse nt ially requir e  y ou
to prov e m athematicall y t hat yo ur  pr o gramiscorre ct.

S o , give n the abo ve ,  whatd o you m e a nby f unctional program m in g ? From the
tal ks I'v es ee n giv enby the cre at or of Scala i t se l f ,  Ib elieve he see s Scala
asf itt ing in  w ith the ML  fami ly lan guages more so t han Haske ll.

A l so, the way Sca la's t ype  sy stem an drun ti m e c u rr ent l y w ork, I d on 't  thin k
it ' s a  goo d f it f or Ha skell-style p rog ramm i ng.  I te nd to  fin dmonad 
trans forme r- based code in S cala  exceedin gly  u gly  a nd di f ficult  to  re ad
comp ared to Has ke l l .  T he underlying runt im e it self als o hasl it tl e  mechani sm 
fo r op t i mizin g mo n ad -based c ode, w h er ea s the G HC  compi le r h asproba b ly m an-
ye ars of e ffort spent into opt i mizing code u s in g mo n ads. 

- -----
rayst ar
I used 
[ht t ps :// t witte r.git hu b .i o /scala_school/](htt ps ://twi tter. github.io/sca la_school/ ) t o learn,  I f o un d  it useful.

~ ~~
pa rtycoder
T h at tutor ial i s good.But be mi n d ful that  in  it  th ere i sno explicit
d i s tinc ti on bein g m ade whe n u sin g S cal astandardlibraryty pe san d T witte r 
library  t ype s. 

e .g: F u turesusedin t he re are  from F i na g l e ra th er  tha n
s ca la.co ncur r ent .Future 

~~~
rla u26 Just  t oadd onto this incas eanyone iswo nde ring,T w itter ha s a library that
allows you touse  thediff erent fut ure s toge the r 
([htt ps://g ithub .c om/ t w itter / b ij ect io n](https:/ / g ith ub.co m/ twit ter/bij ection))
if you ne e d t o.

------
ro llu lusI st art e dw ith  S c ala a  year ago for w ork. I use da  m ixture oft here sources 
listed  here ,  but Ifound thi s [1] ser ie s th e mos t valuable , afterthe other resou r ce s gav e a  basic  f oun datio n.

[1 ] :
[ http: //dani el westhe ide.c om /scala/n eophytes.html](http://d anielw esthe ide .com/scal a/n e oph ytes.html )

- -----
wsar gen t
T he Ar tim a  book  byO de rsk y  is t he b i ble, ands oyou n ee d that one. F orrefer enc e , I li ke
[ http://naildrivin 5 .
/state tracking_through the_above.

4\. Proof assistants and_similar languages_like_Coq go_beyond_tracking effects
in the_type system; they_track values themselves, and_essentially require you
to_prove_mathematically that your program is correct.

So, given the above, what do you mean by_functional_programming? From_the
talks_I've_seen given by the creator_of Scala itself, I believe_he sees_Scala
as fitting in with the ML family languages_moreso_than Haskell.

Also, the_way Scala's type system and runtime currently work, I_don't think
it's a good fit for_Haskell-style programming. I_tend_to_find monad
transformer-based code in_Scala exceedingly ugly and difficult to_read
compared to Haskell. The underlying runtime_itself also has little mechanism
for optimizing monad-based_code, whereas the GHC compiler has_probably man-
years of effort spent_into optimizing_code using monads.

------
raystar
I used
[https://twitter.github.io/scala_school/](https://twitter.github.io/scala_school/)
to learn,_I found it_useful.

~~~
partycoder
That tutorial_is good. But_be mindful that in it there_is no explicit
distinction_being made when using Scala standard_library_types and Twitter
library_types.

e.g:_Futures_used in_there are from_Finagle_rather than
scala.concurrent.Future

~~~
rlau26
Just_to_add on to this incase anyone_is_wondering, Twitter has a library that
allows you_to use the different_futures_together
([https://github.com/twitter/bijection](https://github.com/twitter/bijection))
if you need to.

------
rollulus
I_started with Scala a year_ago for work. I used a_mixture of_the resources
listed_here, but I found this [1] series the most valuable, after_the other
resources gave a basic foundation.

[1]:
[http://danielwestheide.com/scala/neophytes.html](http://danielwestheide.com/scala/neophytes.html)

------
wsargent
The_Artima book by Odersky_is the_bible,_and so you_need_that one.

For_reference, I like
[http://naildrivin5.