Objects to Unify Type Classes and GADTs
Objects to Unify Type Classes and GADTs, by Bruno C. d. S. Oliveira and Martin Sulzmann:
We propose an Haskell-like language with the goal of unifying type classes and generalized algebraic datatypes (GADTs) into a single class construct. We treat...
[full post]
functionalobject-functionalooptheory
13
0
0
0
0
[22 Feb 2010 16:51 PM]
- Random Blogs
Shuffle
- View the posts for any day
View the posts for any day
Select a date from the calendar and click 'Show Posts'.
- Newest Blogs
-
Ben Wilcock
-
Language Hacker
-
Complete Coding
-
My Tech Blog - Gautam
-
Mike Smullin
-
Blog of Peter Veentjer
-
The Web Squeeze
-
Tech & Tech only
-
TechSagar
-
The Kaptain on ... stuff
-
Berkeley DB
-
Technology Articles and Views
-
Techie-Gyan
-
Every solution creates problems
-
Javascript Kata
-
Kirill Osenkov
-
yet another coldfusion blog
-
Optimize Your Code» Optimize Code and Software performance tuning
-
Infinity: Easier Than You Think. Infinitely.
-
Mlangc's Blog
-
CSSReflex - Resources and Tutorials for Bloggers
Fresh Comments
- PHP Tutorials crank domains whats it about nice WOOPthereitisnt
- PHP Tutorials crank domains whats it about nice xXdAvidbivAbXx
- PHP Tutorials crank domains whats it about cool vid iylxuna298134
- PHP Tutorials crank domains whats it about I Comment, like, subscribe, and favorite PaypalMoneyGenerator
- PHP Tutorials crank domains whats it about sounds good shaylauren23
- PHP Tutorials crank domains whats it about nice youba156
- PHP Tutorials crank domains whats it about comments are stupid christianzcash
- PHP Tutorials crank domains whats it about what r mane HAGFISHproductions
- PHP Tutorials crank domains whats it about Great Video ThExodusStudios
- PHP Tutorials crank domains whats it about nice!!!!! torak001
- ZeroTurnaround.com Kittens? Ok, who is gonna mod this graphic to include two Dukes (instead of two Domos) chasing the cat? Come on, let's see it! ;-) DavSten
- ZeroTurnaround.com Kittens? Exactly. DavSten
- ZeroTurnaround.com Kittens? =)) very funny =D Mustafa Sait Özen
- Nettuts+ CSS: Noob to Ninja – The Complete Video Series Talking of CSS3, anyone come across this: http://css3pie.com, by adding a simple extra declaration in your css it says it will render many css 3 rules across ie6/7/8. If it does what it says then it’s amazing! Mark Roberts
- Bill Mullins' Weblog - Tech Thoughts Cloud Computing: Easy Target for Cyber Criminals? Hi Paul, Totally agree. The one thing we’ve learned from the BP fiasco (I hope!) is; if something can go wrong, it will go wrong. So called fail safe systems, are nothing more than a pipe dream foisted on us by people who couldn’t give a Bill Mullins
- www.hans-eric.com Generics are Litter Thank you, Michael. Generics, or more precisely the way many developers make use of them, has been bugging me for quite some time now. It feels great to have finally gotten it off my chest Hans-Eric
- David Walsh :: PHP, CSS, MooTools, jQuery, and Everything Else Dive Into Dojo Series: Dive Into Dojo Chart Theming Your custom theme looks much better than any of the default :) Dojo should adopt it. Christoph Pojer
- CodeUtopia - The blog of Jani Hartikainen The “do X or die()” pattern must die I have also seen the use of die() in some PHP books, which is just lazy writing in my opinion. I agree that taking the try/catch approach to error handling is the way to go, and I would strongly recommend to new PHP programmers to learn about exceptions john
- Nettuts+ Build an Incredible HTML5 App: $7000 Competition Sorry, I found now. Thanks! Rafael Angeline
- WebWorkerDaily The Zen of Social Media Good article. Adding structure and clarity to social media is so important. For most people social networking can consume up huge chunks of our day with no clear purpose or objectives. Setting out goals and timeframes is crucial, but then the real hard Jeff SanGeorge
- SpringSource Team Blog GORM Gotchas (Part 3) The code in your example regarding join-fetch will not work with one-to-many as expected. So this: def authors = Author.withCriteria { like("name", "John%") join "location" join "books" } will join Serge P. Nekoval
- DesignM.ag Minimize Your Life with Tilt Shift Photography Very cool photos here. Thanks for inspiration Creative Photography – People under Water – http://www.cruzine.com/2010/07/19/underwater-people-photography/ paul
- The random utterances of David Arno Moo + FOTB = laptop sticker art fun Awesome dude Now all you need to do is print each face off a thousand times and make a humongous version David Wagner
- Journey to SQL Authority with Pinal Dave SQL SERVER – Check Advanced Server Configuration Thanks for the script, always used the one pinal mentioned in the article. Ramdas
- Katz Got Your Tongue? Everyone Who Tried to Convince Me to use Vim was Wrong What was the motivation to switch, just out of curiosity? You admit that you weren’t a TextMate power user. Then you switched to vim, started James Edward Gray II
- CSS-Tricks CSS Run-in Display Value Didn’t know that. Thanks for the tip. Rasoul
- Admix Web How To Protect Your Blog From Hacking Attempts How To Protect Your Blog From Hacking Attempts… Following the famous saying, “Security is only as strong as its weakest link,” security is very essential, especially when it comes to doing online things. A single weak link can be used to compromise CSS Brigit | How To Protect Your Blog From Hacking Attempts
- ZeroTurnaround.com Kittens? “God” isn't really a global concept. Not good for global marketing. Fernandez65
- Web Designer Wall - Design Trends and Tutorials Free Ticket to FITC San Francisco i am a graphic designer from a small town in south georgia. there are very few of us in these parts! i never get to talk shop with other creative individuals and young professionals. aesthetics just aren’t that important to most business owners Jacob Evan
- Ajaxian » Front Page Canto.js: An Improved Canvas API The Canvas API sure could be better, but adding another API layer that affect performance for a bit of syntactic sugar seems like a bad choice. To write less code, use ‘with’: with (canvas.getContext('2d')) beginPath(), moveTo(100,100), Stakka
Answers for you