Getting organized - please introduce yourself

[ToJans]

First of all, thank you everyone for joining in on this learning journey. The way it looks right now, we will probably be with 7 12 people, all having a very diverse background.

Maybe it's a good idea to fill in the short questionnaire like I did in the comment below.

Next to this it'll also be great to know when we could have a (short-ish - i.e. 15 min) online intro session, so please suggest some dates/times.

As for other things: your opinion is as good as mine, so if you have ideas/suggestions on how we should evolve, feel free to discuss.. (Maybe using a wiki, a new issue, a google doc or whatever might work for you; we should be pragmatic here).

Anyway, let's have a blast and hope we'll manage the bowling kata by the time BS2015 starts!

T.

[ToJans]

I'll start:

• Full name: Tom Janssens
• Location: Belgium
• Occupation: all kinds of stuff, currently mostly web development for my start-up (demo here, webgl required)
• Background: lots of languages, currently mostly C#/F#/JavaScript, DDD adept
• Functional background: Advanced beginner: some F#, haskell, Erlang - if that's even FP -, Elixir
• What I'm trying to accomplish: I do believe that dependent typing might bring us one step closer to the Utopian modelling approach, which is why I'd love to learn some Idris, and I want to accelerate my learning process and have fun while I'm learning it, which is why I started this initiative.
• Dates for the 15 min hangout: (CET +1)
  • Monday - Thursday: 8.30h to 16.00h / 20.00h to 3.00h
  • Friday - impossible
  • Saturday & Sunday: depends

As I'm typing this, we should probably figure out a better way to set dates... If anyone can setup something usable, be my guest.

[ToJans]

@ascjones @koenmetsu @gregoryyoung @manpages @bartul @AntoniosK

[ascjones]

• Name: Andrew Jones
• Location: London
• Occupation: Development team lead at a sports betting software provider
• Backgound: Mostly C#/F#/Javascript at work in a CQRS/EventSourcing stylie. Outside of work learning some Go and Erlang.
• FP Backgound - mostly F# (Competent), played a bit with Haskell and Clojure
• What I want to learn: The more development I do with F#, the more I appreciate the power of the type system in determining the correctness of programs. So just want to see how that can be taken even further with dependent types.
• Any time except Thursday. (Use Doodle? http://doodle.com/create)

Bring it on!

[gregoryyoung]

• Name: Greg Young
• Location: everywhere
• Occupation: writing code
• Backgound: C/C#/whatever
• FP Backgound - normally ok
• What I want to learn: Been interested in theorem proving of systems for a decade. Want to learn more on dependent typing
• usually ok

On Tue, Dec 16, 2014 at 12:55 PM, Andrew Jones notifications@github.com wrote:

• Name: Andrew Jones
• Location: London
• Occupation: Development team lead at a sports betting software provider
• Backgound: Mostly C#/F#/Javascript at work in a CQRS/EventSourcing stylie. Outside of work learning some Go and Erlang.
• FP Backgound - mostly F# (Competent), played a bit with Haskell and Clojure
• What I want to learn: The more development I do with F#, the more I appreciate the power of the type system in determining the correctness of programs. So just want to see how that can be taken even further with dependent types.
• Any time except Thursday. (Use Doodle? http://doodle.com/create)

Bring it on!

— Reply to this email directly or view it on GitHub https://github.com/ToJans/idris101/issues/6#issuecomment-67155315.

Studying for the Turing test

[bartul]

Full name: Bartul Bonacic Location: Muscat, Oman Occupation: software system development on call (from specs to run) Background: Visual Basic (yeah I know, was long time ago but am not ashamed to admit it)/C#/Java/JavaScript, DDD fan Functional background: Novice: had a peek at F#, plenty of JavaScript but not yet fully developed func mindset What I'm trying to accomplish:. Expand my mind Dates for the 15 min hangout: (CET +3) Every day after 17:00h

[klimisa]

• Name: Antonios Klimis
• Location: Greece
• Occupation: Writing Code at Intralot
• Background: Mostly .net (VB.net, C#, ASP.net, WebAPI). Implementing some parts of DDD on the projects I work with. I have worked a bit with Java & Angular. I am starting with Knockout. Whatever is needed I am on it (for ex. PL/SQL, lots of that in Intralot).
• FP Backgound: Chapter 3 of Eric Meijer FP fundamentals :P
• What I want to learn: Born lazy, so giving me the opportunity to have compile time errors on models will eventually (hope so) save me some time and headaches.
• Usually OK

[ToJans]

Some more late members were added; please don't forget to introduce yourself before the end of this week @JefClaes @CalvinHarrisUK @ryansroberts !

[JefClaes]

• Name: Jef Claes
• Location: Belgium (Antwerp)
• Occupation: Working for starcasino.be/starbet.be. Writing at jefclaes.be. Learning.
• Background: C#/JS/F#/DDD
• FP Background: Read the important papers, using F# for data analysis
• What I want to learn: I want to build systems that work.
• After 6PM mostly works for me.

[manpages]

• Full name: Jonn Mostovoy
• Location: Croatia/Latvia
• Occupation: frontend team manager / senior Erlang & JS developer
• Background: JS, Erlang, Boost libraries
• Functional background: Haskell, Scheme
• What I'm trying to accomplish: I'm a very sad programmer. I read code that disgusts me for money and try to write code that disgusts me a little bit less. I also happen to have an idea for a side-project that I'm very enthusiastic about. With Rust still not there™ I find Haskell to be the only language that hits the sweet spot between having reasonable coding experience and reasonable binary sizes (that are also cross-platform). With all the fuss about Cloud Haskell, I have picked this language as the main language for my side-project. Idris, being, fundamentally, a superset of Haskell, w/ dependent types, naturally drew my attention. I never forced myself to play with it, so, to quote Tychus Findley “Hell, it's about time”.
• Dates for the 15 min hangout: literally whenever

• Tabs or spaces: spaces
• VIM or Emacs: VIM
• OSes: NixOS Linux, Windows 7 Ultimate
• Muisc: Mostly progressive rock; see https://last.fm/user/manpages
• Other interests: StarCraft (both BroodWar and II), Chess, Magic: the Gathering, Drawing, Reading technical literature and articles, General learning

[ToJans]

Some more later joiners; don't forget to introduce yourselves, @nosami @leecrossley !

[ryansroberts]

Name: Ryan Roberts Location: UK Occupation: Enterprise bog snorkeller Background: C/F#/js/C++/etc What I'm trying to accomplish: Probably a nosebleed but hopefully some insight. Date/Time: Whenever

On Wed, Dec 17, 2014 at 1:10 PM, Tom Janssens notifications@github.com wrote:

Some more later joiners; don't forget to introduce yourselves, @nosami https://github.com/nosami @leecrossley https://github.com/leecrossley !

— Reply to this email directly or view it on GitHub https://github.com/ToJans/idris101/issues/6#issuecomment-67319563.

[leecrossley]

Name: Lee Crossley Location: UK Occupation: Full stack contractor (specialising in mobile) Background: JavaScript/C#/Java/Obj-C What I'm trying to accomplish: Widen FP knowledge and have fun Date/Time: Various

[EncodePanda]

Full name: Paul Szulc Location: Poland Occupation: contract - Scala Developer Background: Java [#######] / Scala [### ] / JS [##### ] / Haskell [# ] Functional background: Advanced beginner: doing a lot of commercial Scala development recently trying to switch into monadic state of mind. Having some fun with Haskell (mostly watching videos from meetups). Dates for the 15 min hangout: pick up any, I will comply

[BartAdv]

Damn this is interesting initiative! I'm so low on time lately, and I thus I don't want to commit to anything and adding myself to the list, but I will definitely track the progress and hopefully post some comments here and there. I have some basic Idris exposure, although certainly nothing more than any of you can catch up in a matter of days/weeks:)

Good luck!

[koenmetsu]

• Full name: Koen Metsu
• Location: Belgium
• Occupation: freelance .NET dev
• Background: full stack, but lately mostly back-end / C#, Java,JS, some Ruby
• Functional background: Noob
• Reason for doing this: Tom sparked my interest on Idris with a conversation at BuildStuff about how Idris compared to Design By Contract. I've given some training on Code Contracts a few years ago and have been curious about FP lately, so I really want to see where this leads. Hoping to learn a lot!
• Dates for the 15 min hangout: (CET +1)
  • Monday - Fri: 20.30h to 22.30h
  • Saturday & Sunday: depends, most likely 8.00h-12.00h

[nosami]

Name: Jason Imison Location: UK Occupation: Full stack web / mobile developer (mostly C# / javascript but lots of other languages too) Background: Been writing code for 30 years in tons of languages What I'm trying to accomplish: Learning new stuff is fun. Date/Time: Tues-Thurs evenings CET -1

[ToJans]

@CalvinHarrisUK If you provide some info we can close this issue; that's one less!