体验一把haskell
这几天做到PAT一道比较数据大小的题PAT1065,题目不难,应该说是一道送分题,就是开数组,然后模拟人工计算的过程进行计算,再比较下就行。做完之后,联想到haskell的Integer类型是无限大的,那用到这个题里岂不是甚好!而PAT正好又支持用haskell进行答题,于是我就蛋疼地尝试用haskell来做这个题。
不过之前的haskell的知识快忘得差不多了,赶紧上网脑补。花了不少时间把程序写好了,就下面几句。
run x count
| x == = return ()
| otherwise = do
[a,b,c] <- (map read.words) `fmap` getLine
let s= a + b
sc=show count
putStr ("Case #"++sc++": ")
if s > c
then putStrLn "true"
else putStrLn "false"
run (x-) (count+) main = do
n <- read `fmap` getLine
run n
代码总共15行左右,用C来写的话应该在25行的样子,的确要稍微简洁了些。不过我还是感觉这段代码带有浓浓的命令式语言(imperative language)的编程风格,应该还可以再简化些。写的过程中碰到N多问题,主要是之前学习的时候,大部分时间都在学习haskell的语法和理念,都没有真正涉及几个像样有IO的程序。
感叹下haskell确实比较难用,对新人一点都不友好,难怪没几个公司敢用,招不到人啊!不像什么java,c,c++,或者php什么的,满大街的程序员,随手拈来都能够应付。但是haskell程序员可不是那么好当的,没两把刷子还真不敢对别人说自己会haskell。haskell里面新的概念如monad,lazy evaluation,purity,type class,type inference等,对其他语言阵营,尤其是非函数式编程范式语言中切换过来的人,无疑是一场颠覆认知的狂风骤雨,很难领会,不说进阶,即使是入门也需要费很大精力。
我在学习这些概念的时候,一开始是觉得很新奇,函数可以被当成变量,任意传递,甚至函数可以partial apply形成新的函数,原来程序还可以这麽写,不过学得稍深一点后,对haskell中的太多限制很不爽,有点质疑其背后的设计理念,没有循环,所有的循环都得通过递归来实现,没有变量的概念,虽然看起来好像是几个变量,但是他们跟C语言中的变量截然不同,可以把他们理解成不变量,因为一旦绑定为某一个值,那么他就是那个值,不会改变也不能够改变。
haskell引以为傲的purity,即没有side effect,在语言设计者的眼里,这就是一朵上上乘的皇冠,有了purity,程序出错的几率大大减小了,并行也不在话下,haskell的粉丝们都说
haskell严格的类型检查,的确让程序员能够在第一时间发现自己程序中的错误,减少犯错的机会。
要吐槽一下,如果你是haskell新手,你一定会发现haskell的编译提示非常不友好,即便是个经验丰富的老手也会常常被ghc莫名其妙的错误提示摇头晃脑头晕目眩。haskell代码的简洁也依赖于程序的结构性,尤其是代码缩进必须要规范,但是编译器又不能够识别缩进的问题,只会在你缩进不正确的时候,按照你当前的缩进进行parse,然后给出一堆你怎么也想不明白的错误提示。
haskell是一门很有趣的语言,很多概念与代数中的一些概念是同根同源的,小时候只能够死记硬背地把某一个名词记住,现在我才对这些光鲜的名词背后的意思有了了解,这是我又一次觉得那麽多年的数学还是不算白学。三月的PAT考试希望能够发挥得好一点,Curry大叔在天之灵可要保佑我,你看我在实验室都是偷偷抽出时间来学习您的语言,多麽不容易。;)
体验一把haskell的更多相关文章
- 在Service Fabric上部署Java应用,体验一把微服务的自动切换
虽然Service Fabric的Java支持版本还没有正式发布,但是Service Fabric本身的服务管理.部署.升级等功能是非常好用的,那么Java的开发者可以如何利用上Service Fab ...
- genymotion 模拟器 真是牛叉了 速度超快啊!!! 不解释了!建议大家速度去体验一把吧!
已经有人写了blog了 我就不再赘述了,详情去这里看去吧!! android genymotion模拟器怎么使用以及和google提供的模拟器性能对比 http://blog.csdn.net/ ...
- 体验一把做黑客的感觉-IPC$入侵之远程控制
前言 一看你就是看标题进来的,我可不是标题党啊,大家往下看吧,本文章主要介绍了利用IPC共享漏洞上传并执行木马. 基础知识 一.什么是IPC 进程间通信(IPC,Inter-Process Commu ...
- IBM Bluemix体验:Containers
国际版的Bluemix目前有三个region,US South,United Kingdom和Sydney.其中US South是功能最全的,UK其次,Sydney功能最少.Containers服务在 ...
- 微软Face API体验——人脸检测
微软推出了全新REST API,现在可免费获取密钥,大家可以赶快申请!申请地址:https://cn.projectoxford.ai/subscription 看了网站的API介绍,忍不住赶快体验一 ...
- OS X Yosemite Beta体验
自从看到Yosemite泄露图的那天起,就暗暗下决心,一定要坚守Mavericks阵营,坚决不升级,觉得新版系统界面简直其丑无比,结果过了没多久,就按耐不住了,在Windows下的虚拟机里面看了看,发 ...
- 体验Visual Studio 2015 Windows Forms应用程序开发与维护
昨天到半夜还没有等到Visual Studio 2015的下载地址,实在熬不住就先休息了.北美地区的时区比北京时间要晚一些,今天早上到公司就看到Visual Studio 2015的下载地址,迅速的将 ...
- PHP二次开发discuz3.2最新体验
康盛官方于6月4号发布了discuz3.2的正式版,因为这两天一直忙于一个项目,一直没来的及体验,现在抽时间总算是装上了,也体验一把. 根据官方说明:Discuz! X3.2 在继承和完善 Discu ...
- 【Android测试】【随笔】Bugtags初体验
◆版权声明:本文出自胖喵~的博客,转载必须注明出处. 转载请注明出处:http://www.cnblogs.com/by-dream/p/5410003.html 前言 早晨接到一个临时任务,就是尝试 ...
随机推荐
- (12)QT中搭建opencv开发环境
只需要在项目工程文件pro中添加上: INCLUDEPATH += G:/opencv/build/include \ G:/opencv/build/include/opencv \ G:/open ...
- echarts曲线图
drawLeftLine(){ let drawLine = echarts.init(document.getElementById('data-left-middle-table-wrap')); ...
- getAttribute和getParameter
getAttribute表示从request范围取得设置的属性,必须要先setAttribute设置属性,才能通过getAttribute来取得,设置与取得的为Object对象类型 getParame ...
- [CSP-S模拟测试]:string(线段树)
题目描述 给定一个由小写字母组成的字符串$s$. 有$m$次操作,每次操作给定$3$个参数$l,r,x$. 如果$x=1$,将$s[l]~s[r]$升序排序: 如果$x=0$,将$s[l]~s[r]$ ...
- HTML canvas中translate()与rotate()的理解
首先,当我们在页面上初始化canvas时,相当于在上面放了一块画布,这块画布我们可以理解为上面有一个坐标系(如下图),左上角是原点,往右是X轴的正方向,往下是Y轴的正方向,我们在画布上绘制的内容都是基 ...
- shell后台进程
建立duplicate_removal.sh文件,内容如下:#!/bin/bashmysql -vvv -u root -p123456 test -e "truncate t_target ...
- 高级软件测试技术(测试管理工具实践day1)
今天进行了班级内部各小组选择测试工具,选择各自需要进行测试管理工具.我们小组暂定选择 禅道 但是班级内其他小组选择的工具还没确定,还没进行
- React Native商城项目实战09 - 个人中心自定义cell
1.新建组件CommonMyCell.js /** * 个人中心自定义cell */ import React, { Component } from 'react'; import { AppReg ...
- vue +ts 的一次踩坑日记
在vue的方法里面写事件的时候比如写一个路由跳转,方法大概如下: goBack1() { console.log(this); this.$router. ...
- Delphi XE2 之 FireMonkey 入门(27) - 数据绑定: TBindingsList: TBindScope
Delphi XE2 之 FireMonkey 入门(27) - 数据绑定: TBindingsList: TBindScope 如果在编写表达式时, 如果能够随意指认需要的控件就好了(通过 Owne ...