-
- いいね！0
Mac
@wmacgyver
Dialyzer, a defect detection tool for #erlang. "it is NEVER wrong." :) #erlangfactory
2011-03-25 01:28:18
Kate
@KateScisel
Greetings to everyone enjoying now #erlangfactory in San Francisco! #erlang
2011-03-25 01:28:40
Alex. Eisenchteter
@ineation
@cstar next one is in London... Should be easier ;-) #erlangfactory
2011-03-25 01:29:52
Mac
@wmacgyver
Dialyzer has experimental support for stronger type inference, also detect message passing errors and deadlocks. #erlangfactory
2011-03-25 01:30:29
Kenji Rikitake
@jj1bdx
One thing that distinguishes #ErlangFactory in the USA from other conf: not many people are speaking American English. :)
2011-03-25 01:31:30
Kenji Rikitake
@jj1bdx
1st 3 modules to build a PLT: erts kernel stdlib #ErlangFactory
2011-03-25 01:32:37
Alex. Eisenchteter
@ineation
@OriPekelman great topic I'll change my plan and use your presentation for tonight #erlounge lightning talk #erlangfactory #ucengine
2011-03-25 01:32:55
Jay Nelson
@duomark
Kostis pointed out dialyzer can now warn about race conditions #erlangfactory
2011-03-25 01:33:54
Francesco Cesarini
@FrancescoC
Wow! Klacke using dialyzer in his yaws dev.. Wonder if we can blame it on Tuncer & @stevevinoski :-) #erlangfactory
2011-03-25 01:35:42
Mac
@wmacgyver
Using dialyzer is quite easy, setup plt once. Then make sure you compile with debug info, you then run dialyzer again it. #erlangfactory
2011-03-25 01:36:02
Mac
@wmacgyver
Dialyzer bitcask result being shown. "please fix them" :) #erlangfactory
2011-03-25 01:37:05
Dmitry Demeshchuk
@demeshchuk
Using #dialyzer for #couchdb, #mochiweb and #bitcask is really mean, man. #erlangfactory
2011-03-25 01:38:26
ᛞᛁᛋᛁᛝᛖᚱ
@dysinger
I have #clojure stickers for those who want one @ #erlangfactory /cc @kevsmith :)
2011-03-25 01:38:34
Mac
@wmacgyver
Equal opportunity, dialyzer #couchdb result being shown. #erlangfactory "rebuttal: last 4 errors are from mochiweb" :)
2011-03-25 01:39:33
Matt Heitzenroder
@roder
#erlangfactory Nice to see numerous @basho projects free of dialyzer warnings.
2011-03-25 01:40:18
Kevin Smith
@kevsmith
-Wrace_conditions for dialyzer looks super useful #erlangfactory
2011-03-25 01:41:42
Mac
@wmacgyver
"exposing type information and make it part of the code." 1: type guards or 2: type declaration/function specs #erlangfactory
2011-03-25 01:42:04
Francesco Cesarini
@FrancescoC
Be nice to your fellow developers. Expose your types. Kostis @ #erlangfactory
2011-03-25 01:42:32
Kenji Rikitake
@jj1bdx
Type specification from EDoc to -spec #ErlangFactory (Type declaration in #Erlang)
2011-03-25 01:43:24
Mac
@wmacgyver
Use -specs instead of @specs. Guilty on that one. :) #erlangfactory
2011-03-25 01:43:31
Kenji Rikitake
@jj1bdx
Updating EDoc @specs to -specs is strongly recommended / even with -Wunderspecs option of dialyzer #ErlangFactory
2011-03-25 01:45:34
Kenji Rikitake
@jj1bdx
After dialyzer: use TypEr, to add missing specs to files #ErlangFactory
2011-03-25 01:47:41