Archive for the ‘Haskell’ Category

Haskell Glasgow Compiler 7.8

Archives by Month:

Archives by Subject:

Categories
- .NET
- 3D Printing
- Aarau
- Aasemoon
- Academia
- Activities
- Adam Warlock
- Adventures
- Aesthetics
- Aleksi Eeben
- Amazing
- Android
- Anger
- Animals
- Answers
- Apps
- Archeology
- Art
  - Art Supplies
  - Calligraphy
    - Calligraphy Pens
  - Ink Drawing
  - Painting
- Arthurian
- Artificial Intelligence
- ASD
- ASIMO
- Augmented Reality
- Authors
  - Liu Cixin
- Baaroon
- Basel
- Beautiful
- Biohacking
- Biotech
- Birthday
- Bizarre
- BlaBla
- Blogging
- Books
- Browsers
- Canada
- Cartoons
- Cat
- Chemistry
- Chiptune
- Chocolate
- Christmas
- Climate Change
- Cloud Computing
- Coding
- Comic-Con
- Comics
- Computer Science
- Computer Vision
- Concept Design
- Covid 19
- Creations
- Creativity
- Culture
- Cute
- Data Portability
- Data Visualization
- DC Comics
- Demoscene
- Design
- Digital Art
- Digital Mars D
- Disappointed
- Disaster
- DnA
- DNS
- Doctor Who
- Dr. Ali Shariati
- Drawing
- DSP
- Economics
- Electronic Music
- Electronics
- Engineering
- Entertainment
- Environment
- Erlang
- Esperanto
- Events
- Excursions
- Exploration
- Eye Candy
- F#
- Facebook
- Family
- Fantasy
- Farsi
- Feelings
- Fiction
- Firefox
- Food
- Food For Thought
- Football
- Friends
- Fringe
- Fun
- Functional Programming
- Funny
- Gadgets
- Games
  - Game Consoles
- Garfield
- Gender Identity
- Gender Politics
- Geneva
- Genox
- German
- Germany
- Google
- Graphics
- Greek
- Grotesque
- Happy
- Hardware
- Haskell
- Health
- Hiking
- History
- Holidays
- Horrible
- Horror
- IDEs
- Infographic
- Interest Networks
- Interesting
- Internet
- IoT
- Iran
- Italy
- J.J. Abrams
- Joss Whedon
- Kool
- Languages
- last.fm
- Learning
- Lectures
- LEGO
- Liestal
- Life
- Literature
- LOST
- Love
- Loved
- Lyrics
- Marvel
- Math
- Mathematics
- Mechanics
- Mechatronics
- Memories
- Messengers
- Microsoft
- Mobile
- monotonik
- Mood
- Motion Picture
- Movies
- Music
- Mythology
- Nanotechnology
- Nature
- Nerdism
- Netlabels
- New Year's Eve
- Norooz
- Nostalgia
- Notebooks
- Nutrition
- Obsessions
- Old Posts
- OpenID
- Opinions
- OPML
- Persian
- Philosophy
- Photography
- Physics
- Pictures
- Poems
- Poetry
- Politics
- Programming
- Projects
- QS
- Quotes
- Rant
- Reading
- Restaurants
- Reviews
- Richard Feynman
- Robotics
- Sad
- Satori
- Scary
- Schaffhausen
- Sci-Fi
- Science
  - Mycology
  - Psychology
- Selected Posts
- Semantic Web
- Shopping
- Short Films
- Short Stories
- Silly
- Silver Surfer
- SinQ
- Sleepthief
- Social Networks
- Society
- Software
- Somerset Maugham
- Sony
- Soundtraks
- Space
- Spam
- Sports
- St Dwynwen
- Star Trek
- Star Wars
- Stargate
- Supernatural
- Swarm Robotics
- Swiss Traditions
- Switzerland
- Technology
  - E-Ink
- Tehran
- Tesla
- Thanos
- Thoughts
- Toronto
- Toys
- Transmedia
- Travel
- Trillian
- Trips
- TV
- Tweaks
- Twine
- Uncategorised
- University
- VAIO
- Vantage
- Walkman
- Wallpapers
- Watches
- Web
- Web Development
- Website
- Weeee =D
- Weird
- Welsh
- Windows Live
- Wine
- Winter
- Winterthur
- Wolfram Alpha
- World Cup
- XML
- Yummy
- Zürich

HaskellerZ: How polymorphic types give rise to free theorems

Author: Aasemoon

29 Jul

Last week I attended a talk titled “How polymorphic types give rise to free theorems”, which was basically an introduction to what’s explained and elaborated in these two papers:
– Theorems for free!
– Free Theorems in the Presence of seq

As much as this has nothing to do with anything I do, I still find the topic quite interesting, and do recommend the papers to anyone with an interest in Haskell, coding in general or math. =)

0 Comments

Filed under: Coding, Functional Programming, Haskell, Math, Programming

Haskell: Edward Kmett’s Lens Package

Author: Aasemoon

6 Jun

Last Thursday the HaskellerZ group in Zurich held a talk on “Edward Kmett’s lens package“, which I attended and enjoyed… and so I have been having some fun playing with the package. It’s here for any Haskell enthusiasts reading this, check it out! =)

0 Comments

Filed under: Coding, Computer Science, Events, Haskell, Programming, Technology

An introduction to Template Haskell and command line parsing

Author: Aasemoon

2 May

And for the few people who were asking about the Haskell talk I attended last week, you can read about pretty much everything that was discussed here.

Previously due to my German course on Thursday evenings I couldn’t attend any of the Haskell group’s events. Now, happily, I can. =)

0 Comments

Filed under: Coding, Computer Science, Haskell, Programming, Technology