小编scl*_*clv的帖子

TypeRep与"Type"GADT的关系

Scrap中你的样板重新加载,作者描述了一个新的Scrap Your Boilerplate演示文稿,它应该与原版相同.

然而,一个不同之处在于它们假设一组有限的,基本的"基础"类型,用GADT编码

data Type :: * -> * where
  Int :: Type Int
  List :: Type a -> Type [a]
  ...
Run Code Online (Sandbox Code Playgroud)

在原始SYB中,使用类型安全转换,使用Typeable类实现.

我的问题是:

  • 这两种方法之间有什么关系?
  • 为什么GADT表示被选为"SYB Reloaded"演示文稿?

haskell scrap-your-boilerplate

8
推荐指数
2
解决办法
383
查看次数

用AVAudioplayer流式传输

为了加载声音文件,我在我的应用程序中有以下代码:

- (id) init:(NSString*)a_filename ext:(NSString*)a_ext 
{
    ...

    NSString *t_soundFilePath = [CFileLoader getPathForResource:filename WithExtension:ext];
    NSURL *t_fileURL = [[[NSURL alloc] initFileURLWithPath: t_soundFilePath] autorelease];

    player = [[AVAudioPlayer alloc] initWithContentsOfURL: t_fileURL error: nil];
    [player prepareToPlay];
    ...

    }
Run Code Online (Sandbox Code Playgroud)

我加载的所有声音都在我的包中,所以我想知道方法"initwithcontentsofurl"是否流式传输声音文件或是否所有文件都被缓存.

我的应用程序中有很多精灵,所以我想减少用于声音的内存空间.

谢谢你的帮助

iphone streaming avaudioplayer

7
推荐指数
3
解决办法
1万
查看次数

在多线程并发设置中使用unixODBC

我要问并回答这个问题,因为我花了很长时间才弄明白,我希望答案一直在这里开始.

问题:一个长时间运行的unixODBC查询阻止来自同一个应用程序的所有其他查询.

问题是:如何阻止这种情况发生.

unixodbc

6
推荐指数
1
解决办法
5859
查看次数

"将"多边形"拼凑在一起

我有一组代表行政区的多边形.这些区域是手工数字化的,多边形应该接触的多边形之间有很小的空间.可能还有重叠的多边形.如何将多边形拼接在一起,填补间隙并消除重叠?

首选QGIS/ArcGIS或Python库解决方案(但欢迎使用算法建议)

gis geometry polygons

6
推荐指数
2
解决办法
7000
查看次数

如何使用本地cabal安装禁用依赖项检查?

所以我正在尝试安装一个包含大杂乱依赖集的包(在本例中为gitit).直接cabal install来自hackage强制重建大量我不想重建的库(与约束text,约束network,约束parsec等有关)我做了正确的事情,运行cabal unpack gitit,手动编辑.cabal文件,以及成功地把它通过一个cabal configure,cabal build循环.到现在为止还挺好.

现在,我想跑一个cabal install.在过去的好时光(去年),这只会安装已经构建的二进制文件和它们所属的文件.不过,现在,正在运行的cabal install运行依赖检查,这决定了一切,我要和建设包不使用相同的parsec等,并尝试重新安装它们反正!即使我只是跑得很好cabal build.什么是关闭它并获得旧的,不聪明的,完全可接受的行为的神奇旗帜?

haskell cabal

6
推荐指数
1
解决办法
536
查看次数

像iPhone页面控件一样的Android页面控件

我想回到这个非常有用的网站,所以这不是一个问题,而是我对这个问题的解决方案.我还要补充一点,这个解决方案是从这个站点和许多其他人那里获得的支持,所以它代表了许多其他开发人员的共同努力.对他们说我谢谢你!

QUESTION是"如何在Android环境中重新创建iPhone应用程序的水平scrollView方面以及相关的页面控件?"

这是因为我想在单个滚动视图中显示配方中的步骤,每个步骤的相关方法以及必要的成分.我还想要一个页面控件向用户显示它们在步骤中的位置,并允许它们移动到任何特定步骤

我的应用程序的这一部分显示了食谱中的步骤.每个步骤都显示在页面上,有三个组件.步骤标识符(即步骤1,步骤2),该步骤所需的方法和成分.

在配方部分下方,我们显示一个页面控件,显示哪个页面处于活动状态,可用于导航到特定页面.您会注意到页面控件有图像按钮,两个图像是简单的圆圈,一个用于非选定页面(page.png),另一个用于所选页面(page_selected.png)

创建活动时,将通过为配方中的每个步骤添加视图,从数据和创建的滚动条中检索所选配方的步骤.当您滑动滚动条时,视图会捕捉到下一页或上一页,并且会更新寻呼机显示以指示您所在的页面

前3 xml布局(res/layout)

recipe.xml

<?xml version="1.0" encoding="utf-8"?>
<LinearLayout xmlns:android="http://schemas.android.com/apk/res/android"
android:layout_width="fill_parent"
android:layout_height="fill_parent"
android:orientation="vertical" >

<RelativeLayout
    android:layout_width="match_parent"
    android:layout_height="wrap_content" >

 <!--Scroller section-->

   <HorizontalScrollView
       android:id="@+id/scroll_view"
        android:layout_width="match_parent"
        android:layout_height="320dp"
        android:layout_alignParentLeft="true"
        android:layout_alignParentTop="true"
        android:layout_marginTop="100dp" >

            <LinearLayout
                android:id="@+id/methodScrollView"
                android:layout_width="match_parent"
                android:layout_height="match_parent"
                android:orientation="horizontal" >
            </LinearLayout>

    </HorizontalScrollView>

<!-- pager section --> 

    <LinearLayout
        android:id="@+id/pager"
        android:layout_width="match_parent"
        android:layout_height="20dp"
        android:layout_alignParentLeft="true"
        android:layout_alignParentRight="true"
        android:layout_alignParentTop="true"
        android:layout_marginLeft="20dp"
        android:layout_marginRight="20dp"
        android:layout_marginTop="430dp"
        android:gravity="center"
        android:orientation="horizontal" >

    </LinearLayout>

</RelativeLayout>
Run Code Online (Sandbox Code Playgroud)

recipesscroll.xml(将添加到每个配方步骤的滚动条部分的视图.请注意,滚动条部分在recipeViewController.java中有一个onTouchlistner来处理页面滚动)

<?xml version="1.0" encoding="utf-8"?>
<RelativeLayout xmlns:android="http://schemas.android.com/apk/res/android"
    android:id="@+id/recipeScroll"
    android:layout_width="320dp"
    android:layout_height="320dp"
    android:gravity="center_vertical" >

   <TextView
    android:id="@+id/method"
    style="@style/scrollMethod"
    android:layout_width="wrap_content"
    android:layout_height="200dp"
    android:layout_alignParentTop="true"
    android:text="Method" />

   <TextView
    android:id="@+id/ingredients" …
Run Code Online (Sandbox Code Playgroud)

iphone android scroll

6
推荐指数
1
解决办法
5663
查看次数

我可以拥有完全多态的功能吗?

是否有可能具有完全类型模糊的功能?该函数是否具有类型签名:

Poly :: a -> a
Run Code Online (Sandbox Code Playgroud)

其中a是类型变量,就像类型构造函数声明或类型类要求一样使用的语法?

data TypeConstructor a = One | Two a
Func :: Num a => a -> a
Run Code Online (Sandbox Code Playgroud)

是否有可能创建一个无处不在的id函数,始终返回它自己的值,而不必知道正在使用的构造函数是什么?

id :: a -> a
Run Code Online (Sandbox Code Playgroud)

haskell types

6
推荐指数
1
解决办法
247
查看次数

D3.js:了解svg方面的缩放

我一直在研究这个带有缩放的 d3.js块时间轴.但是,我无法弄清楚缩放功能是如何实际实现的.有人可以帮我理解吗?

javascript svg zoom d3.js

6
推荐指数
2
解决办法
247
查看次数

使用Scala RX中的FRP管理资源

我正在scala rx申请一个申请.我有一个反应变量持有File(这是一个PDF文件).我正在使用库将此pdf文件中的页面呈现到屏幕上.现在我正在使用的PDF库给了我一个对象(让我们称之为Doc),我可以使用它来渲染单个页面.但是,为了从Doc对象呈现页面,Doc必须打开该对象(因此必须获取资源).

现在我正在为我正在重新渲染的每个页面加载pdf文件(创建一个新Doc对象并在渲染单个页面后关闭它).这使得页面的呈现起作用(给定文件和页码,返回图像).

有没有办法坚持开放的资源在FRP的变化关闭它scala rx,特别是?如何处理这种非常常见的情况?

scala frp

5
推荐指数
1
解决办法
166
查看次数

如何使用 hpack 拥有多个库?

我想将我的项目组织到不同的库中,因为最终我可能会将一些拆分到外部存储库中。

在一个.cabal文件中,我可以有多个库(我相信一个未命名,多个命名):

library
  import: servant-deps
  exposed-modules:
      App
  other-modules:
      Paths_cow_streamer
  hs-source-dirs:
      src
  build-depends:
      servant-server >= 0.15


library sxapi
  import: servant-deps
  exposed-modules:
      SxClient
  other-modules:
      Paths_cow_streamer
  hs-source-dirs:
      sxapi
  build-depends:
      http-client
Run Code Online (Sandbox Code Playgroud)

最初我在我的 hpack 中尝试这样package.yaml

library:
  bar:
    source-dirs:
      - src
    dependencies:
      - servant-server >= 0.14
      - wai
      - warp
  foo:
    source-dirs:
      - sxapi
    dependencies:
      - servant-server >= 0.14
      - wai
      - warp    
Run Code Online (Sandbox Code Playgroud)

但在这种情况下,似乎没有一个条目被正确解释,因为例如 source-dirs 不存在于生成的 cabal 文件中。

我也试过这个,但不出所料,库定义之一被覆盖:

library:
  source-dirs:
    - src
  dependencies:
    - servant-server >= 0.14
    - wai
    - warp …
Run Code Online (Sandbox Code Playgroud)

haskell hpack

5
推荐指数
1
解决办法
288
查看次数