RE: Types, you can't do much without them by qed

programming · @qed · Jul 1 '17

$0.04

Great topic, iobates! 
:)
I just started a series on **Idris**, which you may call the **dependently typed** version of Haskell:

https://steemit.com/programming/@qed/type-driven-development-idris-1 

Keep up the good work!

👍 nv-vn

`author`	qed
`permlink`	re-iobates-types-you-can-t-do-much-without-them-20170701t194146427z
`category`	programming
`json_metadata`	{"tags":["programming"],"links":["https://steemit.com/programming/@qed/type-driven-development-idris-1"],"app":"steemit/0.1"}
`created`	2017-07-01 19:41:48
`last_update`	2017-07-01 19:41:48
`depth`	1
`children`	1
`last_payout`	2017-07-08 19:41:48
`cashout_time`	1969-12-31 23:59:59
`total_payout_value`	0.034 HBD
`curator_payout_value`	0.010 HBD
`pending_payout_value`	0.000 HBD
`promoted`	0.000 HBD
`body_length`	223
`author_reputation`	371,686,564,844
`root_title`	"Types, you can't do much without them"
`beneficiaries`	`[]`
`max_accepted_payout`	1,000,000.000 HBD
`percent_hbd`	10,000
`post_id`	6,930,127
`net_rshares`	5,485,622,690
`author_curate_reward`	""

properties (23)vote details (1)

Yeah Idris is one of the cool things Haskellers look at, possibly like other people look at Haskell, a yet more expressive type system, I should have a look at that post, I might learn something I can use :-P

voter	weight	wgt%	rshares	pct	time
nv-vn	0 B		5,485,622,690	100%

`author`	iobates
`permlink`	re-qed-re-iobates-types-you-can-t-do-much-without-them-20170701t200922897z
`category`	programming
`json_metadata`	{"tags":["programming"],"app":"steemit/0.1"}
`created`	2017-07-01 20:09:21
`last_update`	2017-07-01 20:09:21
`depth`	2
`children`	0
`last_payout`	2017-07-08 20:09:21
`cashout_time`	1969-12-31 23:59:59
`total_payout_value`	0.032 HBD
`curator_payout_value`	0.010 HBD
`pending_payout_value`	0.000 HBD
`promoted`	0.000 HBD
`body_length`	208
`author_reputation`	9,228,087,136,240
`root_title`	"Types, you can't do much without them"
`beneficiaries`	`[]`
`max_accepted_payout`	1,000,000.000 HBD
`percent_hbd`	10,000
`post_id`	6,932,690
`net_rshares`	5,394,700,767
`author_curate_reward`	""

voter	weight	wgt%	rshares	pct	time
nv-vn	0 B		5,394,700,767	100%

voter

weight

wgt%

rshares

pct

time

nv-vn

0 B

5,394,700,767

100%