Haskell Programming

  • CategoryOther
  • TypeTutorials
  • LanguageEnglish
  • Total size1.1 GB
  • Uploaded Byyan238
  • Downloads21
  • Last checkedNov. 23rd '22
  • Date uploadedNov. 23rd '22
  • Seeders 12
  • Leechers2
Your ISP and Government can track your torrent activity! Hide your IP with a VPN!

Infohash : 4576E8570D2599F1723230A292B6EC93AB7065F1

Details:





Haskell Programming
MP4 | Video: 1280x720 | 64 kbps | 44 KHz | Duration: 8 Hours
Genre: eLearning | Language: English
Learn Basic Algebra and Theorems in Mathematics from the view of Haskell Programming



Haskell is an amazing language similar to C, C++ and Java. But its more in Mathematics and Functions. Most of the codes will be written in Notepad++ and Haskell interpreter. We have used the version 7.10.2-a and will be taught in windows environment. You will find Haskell to be different from any language you have ever used before. Compared to the usual set of concepts in a programmer’s mental toolbox, functional programming offers us a profoundly different way to think about software. While at its core, the language encourages a pure, lazy style of functional programming. Haskell supports traditional models of procedural code and strict evaluation. Additionally, although the focus of the language is squarely on writing statically typed programs, it is possible (though rarely seen) to write Haskell code in a dynamically typed manner. The tutorials will be run on the GHCi version of Haskell. Make sure to download all the necessary stuff before you start to set out on the road of Haskell. Most programmers have the mindset that if you know C,C++, Java and python, most other languages will be easy to learn. But thats not the case with Haskell. You need a strong will power and actually dedicate time towards Haskell to get a better understanding of it.

This course will assume that you have the basic mathematical knowledge inclusive of proving basic theorems, Sets, Unions and Algebra. This course is intended towards purely professional coders. If you know C and Java; especially scala, then it will be easy to understand Haskell. Haskell is purely mathematical and functional language. This course is not for absolute beginners. This course is the basic for Haskell but actually advanced for people who know only the basics in programming.

Files:

Haskell Programming 01 Introduction
  • 001 Introduction.jpeg (122.4 KB)
  • 001 Introduction.mp4 (23.0 MB)
02 Basic Equations
  • 001 Prime Number Test.mp4 (25.8 MB)
  • 002 Prime Number and Conditions.mp4 (42.7 MB)
  • 003 WINGHCI.mp4 (36.0 MB)
  • 004 Identifiers in Haskell Basics.mp4 (25.0 MB)
  • 005 Identifiers in Haskell Continues.mp4 (8.5 MB)
  • 006 Empty List.mp4 (20.0 MB)
03 Haskell Equations
  • 001 Types in Haskell.mp4 (24.0 MB)
  • 002 Map and Filter Functions.mp4 (74.2 MB)
  • 003 Haskell Equations and Reasoning.mp4 (24.9 MB)
04 Mathematical Objects
  • 001 Logical Connectives.mp4 (20.2 MB)
  • 002 Disjunction.mp4 (22.4 MB)
  • 003 Implications.mp4 (14.5 MB)
  • 004 Implications and Equivalence.mp4 (15.2 MB)
  • 005 Logical Validity.mp4 (10.9 MB)
  • 006 Logical Validity and Equivalence.mp4 (15.4 MB)
  • 007 Parentheses.mp4 (11.2 MB)
  • 008 Parentheses and Operator Precedence.mp4 (18.5 MB)
  • 009 Symbolic Forms.mp4 (15.8 MB)
  • 010 Quantifiers.mp4 (15.0 MB)
05 Logics and Proofs
  • 001 Introduction.mp4 (13.8 MB)
  • 002 Proof Style.mp4 (20.1 MB)
  • 003 Rules of Proof.mp4 (25.9 MB)
06 Sets, Types and Lists
  • 001 Sets.mp4 (17.8 MB)
  • 002 Russel Paradox.mp4 (12.6 MB)
  • 003 Paradoxes and Types.mp4 (12.8 MB)
  • 004 Paradoxes and Types Continues.mp4 (18.8 MB)
  • 005 Special Sets.mp4 (20.6 MB)
  • 006 List Comprehension.mp4 (19.0 MB)
  • 007 List Comprehension and Database Query.mp4 (39.7 MB)
  • 008 List Comprehension and Database Query Continues.mp4 (50.1 MB)
  • 009 Representing Sets with Lists.mp4 (20.4 MB)
  • 010 Data types for Sets.mp4 (28.0 MB)
  • 011 Data types for Sets Continues.mp4 (31.8 MB)
07 Sets of Pairs
  • 001 Notion of Relations.mp4 (21.4 MB)
  • 002 Sets of Pairs Introduction.mp4 (25.4 MB)
  • 003 Insert Lists.mp4 (24.5 MB)
  • 004 Sets of Pairs Continues.mp4 (16.1 MB)
  • 005 Transitivity.mp4 (17.0 MB)
  • 006 Relations as Characteristic Functions.mp4 (11.6 MB)
  • 007 Relations as Characteristic Functions Continues.mp4 (18.6 MB)
08 Functions
  • 001 Basic Notions.mp4 (17.3 MB)
  • 002 Unary Functions.mp4 (13.8 MB)
09 Successions
  • 001 Brackets and Jectives.mp4 (18.8 MB)
  • 002 Injectives and Surjectives.mp4 (14.4 MB)
  • 003 Injectives and Surjectives Continues.mp4 (12.9 MB)
  • 004 Successions.mp4 (18.5 MB)
  • 005 Successions Continues.mp4 (18.2 MB)
  • 006 Induction over Natural Numbers.mp4 (18.9 MB)
  • 007 Conclusion.mp4 (18.5 MB)
_PLEASE SUPPORT_
  • ^ Please Support - www.appwikia.com.url (0.2 KB)
  • _Read MORE!_.txt (0.2 KB)
  • todaydownloadz.com - HOME.url (0.2 KB)
  • Important ! Readme.txt (0.5 KB)

Code:

  • udp://tracker.opentrackr.org:1337/announce
  • udp://9.rarbg.com:2810/announce
  • udp://tracker.openbittorrent.com:6969/announce
  • udp://opentracker.i2p.rocks:6969/announce
  • https://opentracker.i2p.rocks:443/announce
  • http://tracker.openbittorrent.com:80/announce
  • udp://tracker.torrent.eu.org:451/announce
  • udp://open.stealth.si:80/announce
  • udp://tracker1.bt.moack.co.kr:80/announce
  • udp://tracker.tiny-vps.com:6969/announce
  • udp://tracker.novaopcj.eu.org:6969/announce
  • udp://tracker.moeking.me:6969/announce
  • udp://tracker.dler.org:6969/announce
  • udp://tracker.altrosky.nl:6969/announce
  • udp://p4p.arenabg.com:1337/announce
  • udp://open.demonii.com:1337/announce
  • udp://movies.zsw.ca:6969/announce
  • udp://ipv4.tracker.harry.lu:80/announce
  • udp://fe.dealclub.de:6969/announce
  • udp://explodie.org:6969/announce