Fork me on GitHub
#clojure-uk
<
2016-05-05
>
mccraigmccraig10:05:16

monads are like mornings because graaaggghhhh caaawwwwffeeeeee

dharrigan11:05:12

Looks like someone has a case of the "Monadays"

glenjamin12:05:05

heh, i was just thinking that

martintrojer12:05:19

we have plenty of those in Clojure aswell

glenjamin12:05:29

every now and then I hit a bug where the conclusion is “I wish I’d had types for that"

martintrojer12:05:24

@thomas if we only had a way for the computer to check for such errors?

thomas12:05:35

yes… rather annoying… worst was that I never even got an error message at run time. that is way worse IMHO.

mccraigmccraig13:05:41

@thomas i just spent a while tracking down a type-error in clojurescript... no error, worked fine for some users. i would like static type-checking with my lisp stat

thomas13:05:24

so… should Clojure 2.0 have type interference?

gjnoonan13:05:06

Controversial

bronsa13:05:31

clojure already has local type inference

thomas13:05:40

I know several people here at work who are quite adamant about it… they only want to work with statically typed languages.

thomas13:05:52

anything dynamically typed sucks in their opinion.

thomas13:05:22

oops… in ter ference of course

thomas13:05:52

(can’t do that as one word) 😞

martintrojer13:05:07

we need more haikus in this channel

martintrojer13:05:15

just an observation

benedek13:05:47

> just and observation not bad either

martintrojer13:05:36

> ssl certificates, what a shit show > concating files, intermediate certs, private keys > wonder when our site will stop working?

benedek13:05:46

is this my work slack #https-migration channel?

martintrojer13:05:54

(that was an attempt at a haiku)

glenjamin13:05:29

> my program has types > but they are not ever checked > until the app runs

martintrojer14:05:11

I'm floored by @glenjamin delicate words, pinpoints how I feel, moved my soul.

martintrojer14:05:59

(not even joking)

benedek14:05:39

Me -> A -> B
I've never invited B I want out
   of dependency hell

krisajenkins14:05:04

> Uncle Bob can help > He knows all about the types > Up until ‘98

jonpither14:05:33

we'll peep about it more soon simple_smile

jonpither14:05:07

(a clojure-ish one-day conference landing 6th October)

reborg15:05:09

jonpither: ohhh

reborg15:05:29

I might just come to hear about modern structured assembler from Håkan

jonpither15:05:09

Feedback on the event also welcome - it's gonna be a party and a fun day, communication is going to be tweaked. That said, hopefully the program will speak for itself

korny17:05:33

And it’s in Milton Keynes - what could be finer? simple_smile

korny17:05:50

re:types - I’m quite happy with optional types, and type hints, and well-focused schema/validate usage. But force me to use strong types when I’m manipulating JSON, and I’ll cry.

glenjamin17:05:55

I reckon I could live with a JSON type that generically modelled json