Haskell基础

简介

静态,纯函数式通用编程语言
命名源自美国逻辑学家Haskell Brooks Curry，他在数学逻辑方面的工作使得函数式编程语言有了广泛的基础。
Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算（Lambda-Calculus)为基础发展而来。
具有“证明即程序、结论公式即程序类型”的特征。这也是Haskell语言以希腊字母「λ」（Lambda）作为自己标志的原因。
Haskell语言的最主要的执行环境是GHC。

more >>

展开全文 >>

nginx

开源,BSD许可
跨平台
模块间松耦合,可以分开用,也可以组合用
内存消耗低,10000个非活跃Keep-Alive连接仅消耗2.5MB内存
单机支持10万以上的并发连接, 更多数量取决于内存
master和worker机制支持热更新
more >>

展开全文 >>

补码

在计算机系统中，数值一律用补码来表示和存储。原因在于，使用补码，可以将符号位和数值域统一处理；
同时，加法和减法也可以统一处理。此外，补码与原码相互转换，其运算过程是相同的，不需要额外的硬件电路。
more >>

展开全文 >>

gen_server:cast与erlang:send的区别

在Request前加了一个'$gen_cast'做为Tag,用于handle_cast,handle_info以及print_event时做区分
在调用erlang:send前使用noconnect,
如果需要connect,即会被阻塞一小会(连接目标结点),则spawn另一个进程来erlang:send以避免阻塞
ps: 只是noconnect并不是nosuspend,nosuspend会在port busy时放弃
源码如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
cast({global,Name}, Request) ->                                                  
    catch global:send(Name, cast_msg(Request)),                                  
    ok;                                                                          
cast({via, Mod, Name}, Request) ->                                               
    catch Mod:send(Name, cast_msg(Request)),                                     
    ok;                                                                          
cast({Name,Node}=Dest, Request) when is_atom(Name), is_atom(Node) ->             
    do_cast(Dest, Request);                                                      
cast(Dest, Request) when is_atom(Dest) ->                                        
    do_cast(Dest, Request);                                                      
cast(Dest, Request) when is_pid(Dest) ->                                         
    do_cast(Dest, Request).                                                      
                                                                                 
do_cast(Dest, Request) ->                                                        
    do_send(Dest, cast_msg(Request)),                                            
    ok.                                                                          
                                                                                 
cast_msg(Request) -> {'$gen_cast',Request}.  

do_send(Dest, Msg) ->                                                            
    case catch erlang:send(Dest, Msg, [noconnect]) of                            
    noconnect ->                                                                 
        spawn(erlang, send, [Dest,Msg]);                                         
    Other ->                                                                     
        Other                                                                    
    end.

展开全文 >>

screen

将.screenrc文件放到home目录即~下即可在screen里显示窗口列表

screen -S name 新建一个session

screen -ls 列出当前所有虚拟终端
screen -rd sessionid 断开(detach)其他连接并进入(reattach)指定的虚拟终端

C-a ? 帮助
C-a w 窗口列表
C-a c 创建一个
C-a A 当前的改名
C-a k 杀掉当前的
C-a d 退出screen, 但screen里的窗口依然保持, 之后还可以attach

C-a [ 进入copy mode, 可以滚动窗口和选择文本拷贝

C-a n 切换到下一个 window
C-a p 切换到前一个 window
C-a 0..9 切换到第 0..9 个 window

展开全文 >>

erlang体会

如何保证进程间沟通成功

信息总是滞后的,就连我们看见的星光,也都是N年前发出来的,
进程之间通讯同样不能保证对方立即收到,即使立即收到也未必立即处理,..
这是宇宙的真实模型,只要找到合理的处理方式,一定不会错

call

相当于cast之后用receive语句加monitor选择性接收应答消息,
使用服务的进程可以call提供服务的进程,反过来则不推荐

cast

异步发送,可能发的时候对方处于terminate中,虽然进程还活着却不会再处理后面的消息了
如何应对这种情况?
1,terminate那里做保障,比如清状态,通知服务方...
2,下次上线时主动请求当前状态并给反馈或从一个全局的地方取数据

展开全文 >>

tag:

    缺失模块。
    1、请确保node版本大于6.2
    2、在博客根目录（注意不是yilia根目录）执行以下命令：
    npm i hexo-generator-json-content --save

    3、在根目录_config.yml里添加配置： 

      jsonContent:
    meta: false
    pages: false
    posts:
      title: true
      date: true
      path: true
      text: false
      raw: false
      content: false
      slug: false
      updated: false
      comments: false
      link: false
      permalink: false
      excerpt: false
      categories: false
      tags: true