An intro about Scrives electronic signatures - with Emily Green at Social Swedish WebCamp

We ♥ Haskell------------------by @heidiHarman & @greenEmilyMay @scrive

Monday, August 15, 2011

We ♥ Haskell------------------The story behind SkrivaPå and more about Haskell


@heidiHarman & @greenEmilyMay @scrive @skrivaPa @scrive_UK

Emily Green

:: JavaDev -> HaskellDev -> ServerCode:: BristolUni -> Maths -> Degree:: JQuery -> CSS -> GUICode:: Bank -> Scrive -> Happy

Heidi Harman

_ Kaospilot, Denmark_ Planner, projectmanager = webagencies_ IFL Stockholm School of Economics_ Agencies_ Runalong Startup_ GeekGirlMeetup_ London, Scrive


Structure allows

freedom Monday, August 15, 2011

Or as Björk would have put it:

“I tried organizing freedom,how scandinavian of me”


SkrivaPå aka Scrive

Digital signatures for contracts etc



Why SkrivaPå?

> Proven business model and product> A fantastic Team



Why SkrivaPå?

> Proven business model and product> A fantastic Team

Yes, it’s as simple as that!



Tibetan Patches

1

3

33



We Use HaskellBecause the CTO, Gracjan, wanted to.

“Haskell, whatʼs that?”> Itʼs a strongly typed, lazily evaluated, functional language.

“Haskell, thatʼs a brave choice.”> Itʼs well-known and loved in academic circles, but a bit unusual of an unusual choice for building “real stuff”.



Can I Describe What itʼs Like? Imagine: Variables canʼt change value.Once you set the value of a variable you canʼt change it. Ever.

(If you ask me how to keep an incrementing count of user logins, I shall say “monads”.)



Functions Only:: Input -> AnotherInput -> Output

Want to go mess around with something that isnʼt stated in the type signature. Hard cheese. You canʼt.



My, this sounds insane, why?!Answer: some things are easier

The thing thatʼs making functional languages like Haskell popular at the moment is ........

Programming for Multiple Cores



How many cores does your computer have?

How many will it have in 3 years time?



Immutability Makes Multi-Threaded Code Easier

Did you know Twitter uses a functional language for itʼs highly threaded server code?



TypeSafesaveAddress :: String -> Maybe Error User

newtype Email = StringsaveAddress :: Email -> Maybe Error User



Structure Gives Freedom

But it makes compilation longer> “Like a logician on your shoulder” - eric> GHC magic



Itʼs Different> Do you miss that excited feeling you got when you coded as a kid. Become a happy idiot again, learn Haskell.



Quest to Grok the Monad> If you learn Haskell you will quickly hear the word “monad”. Keep calm.



I love one thing more than Haskell, Haskell coders.

Tip: if someone learns Haskell just to work on your project, theyʼll probably do a good job.


Thank you


More links about usLukas Duczko on distributed teams at SSEShttp://www.vimeo.com/22653093

IDGidg.se/2.1006/1.387765/arets-webbentreprenorer-lukas-duczko-och-gracjan-polak


http://www.vimeo.com/22653093

http://www.vimeo.com/22653093


Coffetalk


Technology

An intro about Scrives electronic signatures - with Emily Green at Social Swedish WebCamp