Higher Kinds

46 views
Skip to first unread message

Stephane Le Dorze

unread,
Jul 3, 2015, 7:10:10 PM7/3/15
to haxe...@googlegroups.com
Marvelous, Higher Kinds!!! :)

http://hacking-haxe-dev.atouchofcode.com/#79Ba4

Hope it could go on TRUNK one day..

Patrick

unread,
Jul 3, 2015, 7:11:38 PM7/3/15
to haxe...@googlegroups.com
Not yet finished if ever ;)
--
Envoyé de mon téléphone Android avec K-9 Mail. Excusez la brièveté.

Jonathan Jayet

unread,
Jul 3, 2015, 7:17:56 PM7/3/15
to haxe...@googlegroups.com
Awesome job

+1 for TRUNK

Stephane Le Dorze

unread,
Jul 3, 2015, 7:22:45 PM7/3/15
to haxe...@googlegroups.com
Is it derived from Heinz work?

Patrick

unread,
Jul 3, 2015, 7:27:20 PM7/3/15
to haxe...@googlegroups.com
Internally i use the same technics Of and In, but that's almost all. I want to have a better understanding of the type system si i try not to look at his implémentation.

Patrick

unread,
Jul 3, 2015, 7:28:47 PM7/3/15
to haxe...@googlegroups.com
For the tests i use what he did, and i see i have some bug to fix

Stephane Le Dorze

unread,
Jul 3, 2015, 7:32:33 PM7/3/15
to haxe...@googlegroups.com
Oh, Good Idea! :)
And do you plan to try to add also the implicit resolutions? (this is an orthogonal thing but it helps selecting and threading values so easily that HK based abstraction are a breeze to use with it).

--
To post to this group haxe...@googlegroups.com
http://groups.google.com/group/haxelang?hl=en
---
You received this message because you are subscribed to a topic in the Google Groups "Haxe" group.
For more options, visit https://groups.google.com/d/optout.



--
Stéphane Le Dorze

Reply all
Reply to author
Forward
0 new messages